Sciweavers

2370 search results - page 208 / 474
» On the Revival of Dynamic Languages
Sort
View
IAT
2009
IEEE
16 years 2 months ago
Awareness and Forgetting of Facts and Agents
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
Hans P. van Ditmarsch, Tim French
TRUSTBUS
2009
Springer
16 years 2 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
KBSE
2008
IEEE
16 years 1 months ago
Rhizome: A Feature Modeling and Generation Platform
Rhizome is an end-to-end feature modeling and code generation platform that includes a feature modeling language (FeatureML), a template language (MarkerML) and a template-based c...
Guozheng Ge, E. James Whitehead Jr.
IAT
2007
IEEE
16 years 1 months ago
Coordination in Introspective Multi-Agent Systems
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
Yasmine Charif, Nicolas Sabouret
ECOOP
2007
Springer
16 years 1 months ago
Towards Runtime Adaptation in a SOA Environment
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
Florian Irmert, Marcus Meyerhöfer, Markus Wei...