480 search results - page 73 / 96 » Continuations for parallel logic programming |
177
click to vote
DCOSS
2005
Springer
15 years 11 months ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
210
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
161
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
160
click to vote
CONCUR
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
172
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...