252 search results - page 21 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
102
click to vote
GI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
110
click to vote
COORDINATION
2009
Springer
16 years 29 days ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
125
Voted
RTAS
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
104
Voted
ISORC
2002
IEEE
15 years 5 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
104
click to vote
ICPADS
1996
IEEE
15 years 4 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...