10092 search results - page 1560 / 2019 » Active conditional models |
165
click to vote
IMA
2005
Springer
16 years 11 days ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
186
click to vote
ASIASIM
2004
Springer
16 years 8 days ago
2004
Springer
Geometric constraints are imperative components of many dynamic simulation systems to effectively control the behavior of simulated objects. In this paper we present an improved fi...
202
click to vote
COORDINATION
2004
Springer
16 years 8 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
176
click to vote
FASE
2004
Springer
16 years 8 days ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
165
click to vote
GG
2004
Springer
16 years 8 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...