Sciweavers

2253 search results - page 333 / 451
» The ComFoRT Reasoning Framework
Sort
View
ARGMAS
2009
Springer
14 years 3 months ago
Dominant Decisions by Argumentation Agents
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
14 years 3 months ago
Norm optimal Cross-Coupled Iterative Learning Control
— In this paper, we focus on improving contour tracking in precision motion control (PMC) applications through the use of Cross-Coupled Iterative Learning Control (CCILC). Initia...
Kira Barton, Jeroen van de Wijdeven, Andrew Alleyn...
DATE
2007
IEEE
223views Hardware» more  DATE 2007»
14 years 3 months ago
CARAT: a toolkit for design and performance analysis of component-based embedded systems
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
Egor R. V. Bondarev, Michel R. V. Chaudron, Peter ...
IPPS
2006
IEEE
14 years 2 months ago
Base line performance measurements of access controls for libraries and modules
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
Jason W. Kim, Vassilis Prevelakis
SEMWEB
2005
Springer
14 years 2 months ago
Provenance-Based Validation of E-Science Experiments
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T....