1975 search results - page 125 / 395 » Property analysis and design understanding |
195
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 ...
210
click to vote
ICMI
2003
Springer
16 years 5 days 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...
160
click to vote
ASPDAC
2008
ACM
15 years 9 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...
179
click to vote
OOPSLA
2001
Springer
15 years 11 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...
169
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 ...