1432 search results - page 78 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
172
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 ...
143
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
154
click to vote
TROB
2002
15 years 5 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
151
click to vote
IEEEARES
2007
IEEE
16 years 15 days ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
144
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...