4386 search results - page 684 / 878 » A Tamper-Resistant Programming Language System |
155
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
151
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Several advanced applications, such as those dealing with the Web, need to handle data whose structure is not known a-priori. Such requirement severely limits the applicability of ...
140
click to vote
ICALP
1999
Springer
15 years 10 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
181
click to vote
IFIP
1999
Springer
15 years 10 months ago
1999
Springer
Supply Chain Management (SCM) plans and controls the production over a group of autonomous enterprises. Process-oriented design is used to eliminate inefficiencies of the chain on...
186
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...