Sciweavers

598 search results - page 49 / 120
» Aspect-Oriented Development Using Protocol Modeling
Sort
View
WETICE
1995
IEEE
14 years 1 months ago
Subdocument invocation semantics in collaborative hyperdocuments
In this paper we informally explain a new Trellis model that incorporates colored tokens into the previouslydescribed timed-Petri-net-based de nition. We give examples of using Tr...
Richard Furuta, Jaime Navon, P. David Stotts
MMS
2007
13 years 11 months ago
An Experimental Frame for Evaluating Service Trading Overlays in Mobile ad-hoc Networks
Abstract: For evaluating dynamics of mobile ad-hoc networks at least three different layers have to be distinguished: the application layer, the protocol layer, and the network lay...
Mathias Röhl, Adelinde M. Uhrmacher, Birgitta...
JSAC
2007
105views more  JSAC 2007»
13 years 9 months ago
What and how much to gain by spectrum agility?
— Static spectrum allocation prohibits radio devices from using spectral bands designated for others. As a result, some bands are under-utilized while other bands are over-popula...
Chun-Ting Chou, Sai Shankar N., Hyoil Kim, Kang G....
WIAS
2008
95views more  WIAS 2008»
13 years 9 months ago
Using multi-agent platform for pure decentralised business workflows
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
Li Guo, David Robertson, Yun-Heh Chen-Burger
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...