Sciweavers

2638 search results - page 364 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CL
2008
Springer
15 years 6 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
MODELS
2007
Springer
16 years 18 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...
WEBI
2005
Springer
15 years 12 months ago
Multi-Source Knowledge Bases and Ontologies with Multiple Individual and Social Viewpoints
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
Matthias Nickles, Ruth Cobos, Gerhard Weiß, ...
ACL
1992
15 years 7 months ago
Lattice-Based Word Identification in CLARE
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...
David M. Carter
EXPERT
2008
108views more  EXPERT 2008»
15 years 6 months ago
Case-Based Plan Adaptation: An Analysis and Review
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
Héctor Muñoz-Avila, Michael T. Cox