9702 search results - page 1631 / 1941 » Communicating Mobile Processes |
189
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
190
Voted
EUC
2008
Springer
15 years 8 months ago
2008
Springer
Data gathering is a common but critical operation in many applications of wireless sensor networks. The innovative techniques that improve energy efficiency to prolong the network ...
199
click to vote
ACRI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Network decontamination (or disinfection) is a widely studied problem in distributed computing. Network sites are assumed to be contaminated (e.g., by a virus) and a team...
195
click to vote
IESA
2007
15 years 8 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
158
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we describe our experience with collecting and creating an annotated corpus of multi-party online conversations in a chat-room environment. This effort is part of a...