4693 search results - page 376 / 939 » Verifying Hybrid Systems |
144
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
A study of over 2000 students and professionals who used the Inspire e-negotiation system led Vetschera, Kersten and Koeszegi [1] to the formulation of an assessment model for int...
150
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
153
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
160
click to vote
ISPA
2004
Springer
16 years 4 days ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
177
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...