2229 search results - page 299 / 446 » On Reporting Fold Differences |
109
click to vote
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
102
click to vote
DSN
2003
IEEE
15 years 3 months ago
2003
IEEE
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...
HAPTICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Cobots assist humans by mechanically guiding motion along software-defined paths or surfaces. Cobot design has been extensively studied previously. This paper reports the first sy...
HOTOS
2003
IEEE
15 years 3 months ago
2003
IEEE
Many types of information available in a pervasive computing environment, such as people location information, should be accessible only by a limited set of people. Some propertie...
ICEIS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...