3828 search results - page 389 / 766 » Proof-Based System Engineering Using a Virtual System Model |
193
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
192
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
159
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
216
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
A simple, fast, and approximate voxel-based approach to 6DOF haptic rendering is presented. It can reliably sustain a 1000 Hz haptic refresh rate without resorting to asynchronous...
170
click to vote
IEEEARES
2006
IEEE
16 years 23 days ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...