106 search results - page 11 / 22 » Romeo: A Tool for Analyzing Time Petri Nets |
108
Voted
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
115
Voted
JSS
2010
14 years 7 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
136
Voted
SAC
2008
ACM
15 years 5 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
111
Voted
IADIS
2004
15 years 2 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
169
Voted
DDEP
2000
Springer
15 years 5 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...