1352 search results - page 138 / 271 » Designing Security Requirements Models Through Planning |
ECBS
2011
IEEE
12 years 10 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
ICAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
IJMMS
1998
13 years 10 months ago
1998
A continuing problem in business today is the design of human-computer systems that respect how work actually gets done. The overarching context of work consists of activities, wh...
WWW
2003
ACM
14 years 11 months ago
2003
ACM
The construction of composite Web Services from service fragments requires semantic descriptions of service offers and service requests. We propose the use of dependencies as a mo...
CL
2007
Springer
13 years 10 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...