1886 search results - page 305 / 378 » Modeling and Enacting Software Processes Using VRPML |
145
click to vote
MEMOCODE
2006
IEEE
16 years 5 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
140
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
170
click to vote
AOSD
2007
ACM
15 years 10 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...
145
click to vote
NSDI
2007
15 years 8 months ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...
159
click to vote
HASE
2008
IEEE
16 years 18 days ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...