Amanote Research
Register
Sign In
Automated Generation of Monitors for Pattern Contracts
doi 10.1145/1141277.1141695
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Benjamin Tyler
Jason O. Hallstrom
Neelam Soundarajan
Publisher
ACM Press
Related search
A Systematic Judgment to Automated Programming Contracts Generation
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation
Automated Negotiation for Service Contracts
Semi-Automated Management of Web Service Contracts
International Journal of Services Sciences
Blood Pressure Monitoring – Automated Non-Invasive Blood Pressure Monitors
Anaesthesia and Intensive Care
Critical Care
Anesthesiology
Pain Medicine
Intensive Care Medicine
New Generation of Radiacs: Small Computerized Multipurpose Radiation Monitors
IEEE Transactions on Nuclear Science
Electronic Engineering
Nuclear
Nuclear Energy
High Energy Physics
Engineering
Electrical
Automated Event Recognition for Football Commentary Generation
International Journal of Gaming and Computer-Mediated Simulations
Computer Science Applications
Automated Generation of Tactile Maps
Journal of Maps
Planning
Earth
Planetary Sciences
Development
Geography
Relationship-Specificity, Incomplete Contracts, and the Pattern of Trade
Quarterly Journal of Economics
Economics
Econometrics
Automated Solutions of Breathing Pattern Optimizations
Computers and Mathematics with Applications
Mathematics
Computational Mathematics
Simulation
Modeling
Computational Theory