20126 search results - page 169 / 4026 » Timed Transition Systems |
122
Voted
DAGSTUHL
2003
15 years 5 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
143
Voted
ENTCS
2006
15 years 3 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
118
Voted
LOGCOM
2007
15 years 3 months ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
111
Voted
IJON
2010
15 years 2 months ago
2010
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
142
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...