662 search results - page 109 / 133 » Model Checking Procedures for Infinite State Systems |
IJIT
2004
14 years 11 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
107
Voted
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
106
click to vote
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
CONTEXT
2007
Springer
15 years 3 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...