10159 search results - page 396 / 2032 » System Design Validation Using Formal Models |
121
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
126
click to vote
SIAMCO
2008
15 years 4 months ago
2008
We introduce two new tools that can be useful in nonlinear observer and output feedback design. The first one is a simple extension of the notion of homogeneous approximation to ma...
147
click to vote
JUCS
2007
15 years 4 months ago
2007
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...
147
click to vote
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
130
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...