481 search results - page 63 / 97 » Executing Higher Order Logic |
150
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
117
Voted
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Multi-Instance-Precommit (MIP) has been recently presented as an innovative transaction management scheme in support of reliability for Atomic Transactions in multitier (e.g. Web-...
98
Voted
IJFCS
2006
15 years 22 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
103
Voted
HAPTICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This study explores the effects of haptic feedback on performance and learning by human subjects executing a dynamic task. We present the results of experiments involving the cont...
105
Voted
SRDS
1995
IEEE
15 years 4 months ago
1995
IEEE
Advances in computer and telecommunication technologies have made mobile computing a reality. However, greater mobility implies a more tenuous network connection and a higher rate...