Sciweavers

2328 search results - page 234 / 466
» Component Frameworks - A Case Study
Sort
View
JSW
2007
120views more  JSW 2007»
15 years 6 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
LOGCOM
1998
132views more  LOGCOM 1998»
15 years 6 months ago
Agents That Reason and Negotiate by Arguing
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
Simon Parsons, Carles Sierra, Nicholas R. Jennings
BIRTHDAY
2010
Springer
15 years 4 months ago
Tracking Evidence
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
Sergei N. Artëmov
ERSA
2010
182views Hardware» more  ERSA 2010»
15 years 4 months ago
Integrating Application Specification and Performance Prediction for Strategic Design-Space Exploration
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
Brian Holland, Alan D. George, Herman Lam
ADC
2008
Springer
114views Database» more  ADC 2008»
16 years 28 days ago
Enabling Resource-Awareness for In-Network Data Processing in Wireless Sensor Networks
The next-generation of wireless sensor platforms allows for more advanced in-network data processing. The central challenge remains energy and communication efficiency. This paper...
Uwe Röhm, Mohamed Medhat Gaber, Quincy Tse