10159 search results - page 383 / 2032 » System Design Validation Using Formal Models |
130
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
138
Voted
ECWEB
2007
Springer
15 years 8 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
127
click to vote
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
170
click to vote
IEEEAMS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
177
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...