10159 search results - page 285 / 2032 » System Design Validation Using Formal Models |
141
Voted
MCS
2008
Springer
15 years 3 months ago
2008
Springer
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
170
click to vote
FORTE
1994
15 years 4 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
117
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
155
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
111
Voted
JSW
2008
15 years 3 months ago
2008
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...