7623 search results - page 147 / 1525 » Constructive Volume Modeling |
136
Voted
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
137
click to vote
CSREAEEE
2006
15 years 4 months ago
2006
- RFID technology could greatly improve the business efficiency. EPCglobal Network suggests a kind of interface, called ALE (Application Level Events), for an efficient RFID develo...
127
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
156
click to vote
ACS
2011
14 years 10 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
182
click to vote
HIPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...