1395 search results - page 42 / 279 » Incremental Construction Approach for Distributed System Spe... |
110
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
108
click to vote
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
128
click to vote
UML
1998
Springer
15 years 5 months ago
1998
Springer
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
109
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
104
click to vote
ATC
2006
Springer
15 years 5 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...