Sciweavers

3908 search results - page 442 / 782
» A model for service-oriented communication systems
Sort
View
BIRTHDAY
2006
Springer
15 years 11 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
CASCON
1996
151views Education» more  CASCON 1996»
15 years 9 months ago
Performance aspects of dynamic re-allocation for partitioned data
The correct and ecient management of data in distributed databases or mobile computing environments is dicult. Communication disruptions within such systems render the execution o...
Paul A. Jensen, Monica Brockmeyer, Nandit Soparkar
AAI
2000
118views more  AAI 2000»
15 years 7 months ago
Vivid Agents: Theory, Architecture, and Applications
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
Michael Schroeder, Gerd Wagner
JSS
1998
85views more  JSS 1998»
15 years 7 months ago
Comparative study and categorization of high-level petri nets
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
Vasilis C. Gerogiannis, Achilles Kameas, Panayioti...
FGCN
2007
IEEE
119views Communications» more  FGCN 2007»
16 years 1 months ago
A Novel Adaptive Load Shedding Scheme for Data Stream Processing
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
Yunyi Zhang, Chongzheng Huang, Deyun Zhang