10159 search results - page 1669 / 2032 » System Design Validation Using Formal Models |
159
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Many software projects have failed because their requirements were poorly negotiated among stakeholders. This paper proposes a systematic model, called "MultiCriteria Prefere...
165
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
231
click to vote
IPSN
2005
Springer
16 years 9 days ago
2005
Springer
— Environmental energy is an attractive power source for low power wireless sensor networks. We present Prometheus, a system that intelligently manages energy transfer for perpet...
171
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
166
click to vote
WSC
2001
15 years 8 months ago
2001
In this paper, the selection of a BASE Case was every bit as important as the simulation itself. The production team had been familiar with simulations and had used their results ...