2836 search results - page 491 / 568 » Model Checking for Software Architectures |
182
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Condition monitoring and fault diagnosis in modern manufacturing automation is of great practical significance. It improves quality and productivity, and prevents damage to machine...
147
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
202
click to vote
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
164
click to vote
PLDI
2009
ACM
16 years 7 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
147
click to vote
ICFEM
2009
Springer
16 years 18 hour ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...