9210 search results - page 319 / 1842 » Analyzing Real-Time Systems |
104
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
126
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
123
Voted
ICSEA
2008
IEEE
15 years 7 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
118
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Online banking has become increasingly important to the profitability of financial institutions as well as adding convenience for their customers. As the number of customers using...
ENTCS
2010
15 years 1 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...