3689 search results - page 397 / 738 » A Language with Distributed Scope |
123
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
136
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
139
click to vote
IFIP
2010
Springer
15 years 9 months ago
2010
Springer
In this work it is shown the representation of 3D object shape acquired from grasp exploration. Electromagnetic motion tracking sensors are used on the fingers for object contour f...
136
Voted
APN
2001
Springer
15 years 9 months ago
2001
Springer
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
116
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Feature interactions in the original sense of the term (i.e. within a telecommunications domain), have now been the subject of significant research activity for over ten years. Thi...