Sciweavers

4890 search results - page 563 / 978
» From system specifications to component behavioral models
Sort
View
FIRBPERF
2005
IEEE
259views Algorithms» more  FIRBPERF 2005»
16 years 15 days ago
Performance Issues in Video Streaming Environments
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
Giuliano Casale, Paolo Cremonesi, Giuseppe Serazzi...
OTM
2005
Springer
16 years 11 days ago
An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web
Abstract. The Web of today can be seen as an active and heterogeneous infrastructure of autonomous systems, where reactivity, evolution and propagation of information and changes p...
Wolfgang May, José Júlio Alferes, Ri...
IEEESCC
2007
IEEE
16 years 1 months ago
Governance of Cross-Organizational Service Agreements: A Policy-Based Approach
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
Yathiraj B. Udupi, Munindar P. Singh
ATAL
2004
Springer
16 years 8 days ago
Analysis of a Stochastic Model of Adaptive Task Allocation in Robots
Adaptation is an essential requirement for self–organizing multi–agent systems functioning in unknown dynamic environments. Adaptation allows agents, e.g., robots, to change th...
Aram Galstyan, Kristina Lerman
CONCUR
2000
Springer
15 years 11 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...