1463 search results - page 219 / 293 » Model Checking Implicit-Invocation Systems |
119
click to vote
IEE
2010
14 years 12 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
126
click to vote
MBEES
2010
14 years 11 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
140
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
121
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
103
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...