15644 search results - page 363 / 3129 » Brittle System Analysis |
213
click to vote
FMICS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
173
click to vote
HOLOMAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
171
click to vote
HYBRID
2007
Springer
16 years 29 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
148
Voted
ACMMSP
2004
ACM
16 years 7 days ago
2004
ACM
This work details a performance study of six different types of commodity memories in two commodity server nodes. A number of micro-benchmarks are used that measure low-level perf...
184
click to vote
CAISE
2004
Springer
16 years 6 days ago
2004
Springer
Fueled by the omnipresence of event logs in transactional information systems (cf. WFM, ERP, CRM, SCM, and B2B systems), process mining has become a vivid research area. Until rece...