4286 search results - page 703 / 858 » Formalizing Service Interactions |
108
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
The objective of the present research was to show that incorporating a visuo-haptic device ‘Telemaque’ may increase the fluency of handwriting production of cursive letters in...
128
click to vote
ICAC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
148
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
108
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
157
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...