409 search results - page 71 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
112
click to vote
ENASE
2009
14 years 9 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
DEBS
2010
ACM
15 years 3 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
103
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
ITP
2010
14 years 10 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
110
click to vote
ESORICS
2007
Springer
15 years 3 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...