3082 search results - page 407 / 617 » Deviation Analysis: A New Use of Model Checking |
148
click to vote
ECIS
2001
15 years 7 months ago
2001
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...
179
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
190
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Combinatorial complexity is a challenging problem in detailed and mechanistic mathematical modeling of signal transduction. This subject has been discussed intensively...
299
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
175
click to vote
CCS
2005
ACM
16 years 6 hour ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...