10462 search results - page 378 / 2093 » Towards |
181
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
262
click to vote
FAABS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
167
click to vote
FOIKS
2004
Springer
16 years 7 days ago
2004
Springer
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
161
click to vote
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
166
click to vote
GC
2004
Springer
16 years 7 days ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...