52 search results - page 10 / 11 » Abstract State Machine Models for Basic Service-Oriented Arc... |
117
Voted
APN
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
115
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
122
Voted
POPL
2010
ACM
16 years 1 days ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
134
Voted
MEMOCODE
2010
IEEE
15 years 16 days ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
148
Voted
PVLDB
2010
15 years 1 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...