6308 search results - page 472 / 1262 » Modeling Urgency in Timed Systems |
241
click to vote
ROOM
2000
15 years 8 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
187
click to vote
HICSS
2006
IEEE
16 years 28 days ago
2006
IEEE
For future scenarios of power system operations, like the self healing grid vision, system and communications architecture are key. Applications will require unlimited access to a...
186
click to vote
FTCS
1997
15 years 8 months ago
1997
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
188
click to vote
TCS
2008
15 years 6 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
169
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A mathematical model to understand, predict, control, or even design a real biological system is a central theme in systems biology. A dynamic biological system is alw...