526 search results - page 66 / 106 » Type Abstractions of Name-Passing Processes |
EPEW
2005
Springer
14 years 2 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
WDAG
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
BTW
2003
Springer
14 years 1 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
UML
2000
Springer
14 years 8 days ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
ECCV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In the matching tasks which form an integral part of all types of tracking and geometrical vision, there are invariably priors available on the absolute and/or relative i...