Sciweavers

534 search results - page 83 / 107
» Agent-environment interaction in a multi-agent system: a for...
Sort
View
ICFP
2005
ACM
16 years 6 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
ECSA
2010
Springer
15 years 7 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
COORDINATION
2007
Springer
16 years 7 days ago
A Coordination Model for Triplespace Computing
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
Elena Paslaru Bontas Simperl, Reto Krummenacher, L...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 19 days ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ICAC
2007
IEEE
16 years 12 days ago
Adaptive Multi-levels Dictionaries and Singular Value Decomposition Techniques for Autonomic Problem Determination
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
Hoi Chan, Thomas Kwok