3082 search results - page 81 / 617 » Deviation Analysis: A New Use of Model Checking |
190
click to vote
BIRTHDAY
2012
Springer
14 years 1 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
166
click to vote
CIA
2004
Springer
15 years 11 months ago
2004
Springer
The concept of sequential two-sided search is widely used in partnerships formation applications in various domains. However, when considering the implementation of the method in M...
223
click to vote
SACMAT
2009
ACM
16 years 21 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
167
click to vote
IEEECIT
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
142
click to vote
SSDBM
2003
IEEE
15 years 11 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...