Sciweavers

1463 search results - page 278 / 293
» The State of the Art in Language Modeling
Sort
View
SOCO
2005
Springer
14 years 26 days ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
TBILLC
2005
Springer
14 years 26 days ago
Real World Multi-agent Systems: Information Sharing, Coordination and Planning
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...
Frans C. A. Groen, Matthijs T. J. Spaan, Jelle R. ...
ASM
2003
ASM
14 years 18 days ago
An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
Ileana Ober
CDC
2009
IEEE
162views Control Systems» more  CDC 2009»
14 years 3 days ago
Distributed optimal planning: an approach by weighted automata calculus
— We consider a distributed system modeled as a possibly large network of automata. Planning in this system consists in selecting and organizing actions in order to reach a goal ...
Eric Fabre, Loig Jezequel
CSFW
1999
IEEE
13 years 11 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek