Sciweavers

147 search results - page 16 / 30
» Abstract Architecture for Task-oriented Multi-agent Problem ...
Sort
View
INTERSENSE
2006
ACM
14 years 1 months ago
Issues in designing a compilation framework for macroprogrammed networked sensor systems
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
Animesh Pathak, Viktor K. Prasanna
SERVICES
2008
95views more  SERVICES 2008»
13 years 8 months ago
Multiobjective Optimization of SLA-Aware Service Composition
In Service Oriented Architecture, each application is ofgned as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for tract ser...
Hiroshi Wada, Paskorn Champrasert, Junichi Suzuki,...
ICCSA
2007
Springer
13 years 11 months ago
Component Specification for Parallel Coupling Infrastructure
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
Jay Walter Larson, Boyana Norris
DAC
2004
ACM
14 years 8 months ago
Exploiting structure in symmetry detection for CNF
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah...
ENTCS
2007
84views more  ENTCS 2007»
13 years 7 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...