1432 search results - page 179 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
170
click to vote
PPPJ
2004
ACM
15 years 9 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
151
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
120
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
I present a general framework for observing and controlling a distributed computation and its applications to distributed debugging. Algorithms for observation are useful in distr...
176
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
141
Voted
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...