4693 search results - page 376 / 939 » Verifying Hybrid Systems |
159
click to vote
HICSS
2007
IEEE
16 years 2 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...
171
click to vote
ICMCS
2006
IEEE
16 years 1 months 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...
176
click to vote
HICSS
2005
IEEE
16 years 1 months 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...
190
click to vote
ISPA
2004
Springer
16 years 1 months 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...
201
click to vote
CADE
1998
Springer
15 years 12 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...