1463 search results - page 184 / 293 » Model Checking Implicit-Invocation Systems |
113
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
154
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
117
Voted
FTCS
1998
15 years 3 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
139
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
100
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...