1454 search results - page 7 / 291 » Stateful traits and their formalization |
126
Voted
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
120
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
150
Voted
CAISE
2007
Springer
15 years 5 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
ACL
1997
15 years 3 months ago
1997
This paper presents an algorithm for the compilation of regular formalisms with rule features into finite-state automata. Rule features are incorporated into the right context of ...
131
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...