1413 search results - page 22 / 283 » Bisimilarity of Open Terms |
112
Voted
DELTA
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents an overview of test techniques that offer promising features when Built-In-Self-Test (BIST) must be applied to complex intgrated systems including analog, mixed...
169
click to vote
AIIA
2011
Springer
14 years 20 days ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...
110
click to vote
ESAW
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
102
click to vote
WWW
2001
ACM
16 years 1 months ago
2001
ACM
This paper describes the attempts of the COHSE project to define and deploy a Conceptual Open Hypermedia Service. Consisting of ? an ontological reasoning service which is used to...
79
Voted
MICCAI
2002
Springer
16 years 1 months ago
2002
Springer
This paper preliminarily reports the robotic system working inside the gantry of vertical field Open MRI. This manipulator is new in terms of the application to vertical field Open...