4079 search results - page 608 / 816 » Differential Testing for Software |
142
click to vote
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
—By nature, human beings perceive their environment mostly using sight and audition. Vibrotactile feedback has proven satisfying results in the domains of simple multimodal inter...
121
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
135
click to vote
ICNSC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
165
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
110
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...