32032 search results - page 158 / 6407 » Verified programming in Guru |
172
click to vote
QSIC
2007
IEEE
16 years 14 days ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
164
click to vote
CSFW
2006
IEEE
16 years 7 days ago
2006
IEEE
There is a growing interest in establishing rules to regulate the privacy of citizens in the treatment of sensitive personal data such as medical and financial records. Such rule...
165
click to vote
ACL2
2006
ACM
16 years 5 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
160
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
145
click to vote
GW
2005
Springer
15 years 11 months ago
2005
Springer
Simulating realistic human-like figures is still a challenging task when dynamics is involved. For example, making a virtual human jump to a given position requires to control the...