793 search results - page 121 / 159 » Building a Software Factory for Pervasive Systems Developmen... |
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
113
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
ISORC
2006
IEEE
15 years 5 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
WETICE
2000
IEEE
15 years 4 months ago
2000
IEEE
This poster paper presents a work in progress in the new emerging area of electronic services (e-services). The networked home with refrigerators and washing machines connected to...