1975 search results - page 125 / 395 » Property analysis and design understanding |
167
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
188
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
141
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
A stable, multiple energy domain and multi scale simulation tool for Microsystems is developed. A structured design methodology is adopted for design and optimization of RF MEMS sh...
154
click to vote
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
141
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...