2229 search results - page 299 / 446 » On Reporting Fold Differences |
239
Voted
SPIN
2004
Springer
16 years 9 days 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...
208
click to vote
DSN
2003
IEEE
16 years 8 days 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...
147
click to vote
HAPTICS
2003
IEEE
16 years 8 days 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...
180
Voted
HOTOS
2003
IEEE
16 years 8 days 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...
158
Voted
ICEIS
2003
IEEE
16 years 7 days 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...