1838 search results - page 141 / 368 » Process modelling: the deontic way |
261
click to vote
DSN
2008
IEEE
16 years 23 days ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
173
click to vote
ICWE
2007
Springer
16 years 13 days ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
160
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
141
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...