3255 search results - page 367 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
224
click to vote
SCESM
2006
ACM
16 years 18 days ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
143
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
— JXTA defines a set of six core protocols specifically suited for ad hoc, pervasive, multi-hop, peer-to-peer (P2P) computing. These protocols allow peers to cooperate and form...
166
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
159
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
198
click to vote
SPRINGSIM
2007
15 years 7 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...