3555 search results - page 550 / 711 » Security-Critical System Development with Extended Use Cases |
126
Voted
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
137
click to vote
ESCIENCE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
124
click to vote
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
127
click to vote
DIAGRAMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
145
click to vote
ACSW
2004
15 years 5 months ago
2004
This paper examines the security aspects of different pervasive scenarios involving agent communities evolved using multi agent systems (MAS). It describes the motivation and the ...