Sciweavers

4919 search results - page 654 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
117
Voted
IESA
2007
15 years 6 months ago
SAMBA - An Agent architecture for Ambient Intelligence Elements Interoperability
The SAMBA (Systems for AMBient intelligence enabled by Agents) architecture reported here is a conceptual service-oriented architecture supporting the interaction and interoperabil...
Arne-Jørgen Berre, Giovanna Di Marzo Seruge...
FOSSACS
2008
Springer
15 years 6 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
VAMOS
2008
Springer
15 years 6 months ago
Reflective Component-based Technologies to Support Dynamic Variability
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
Nelly Bencomo, Gordon S. Blair, Carlos A. Flores-C...
CISIS
2008
IEEE
15 years 5 months ago
Web Performance and Behavior Ontology
We present a web system architecture using ontologies to improve the behavior of the system from the performance viewpoint. Since web system performance indexes depend on state an...
Carlos Guerrero, Carlos Juiz, Ramón Puigjan...
115
Voted
FSTTCS
2008
Springer
15 years 5 months ago
Solvency Games
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
Noam Berger, Nevin Kapur, Leonard J. Schulman, Vij...