Sciweavers

4761 search results - page 261 / 953
» Components, Frameworks, Patterns
Sort
View
ICDE
2006
IEEE
141views Database» more  ICDE 2006»
16 years 1 months ago
MoSCoE: A Framework for Modeling Web Service Composition and Execution
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
FROCOS
2005
Springer
16 years 18 days ago
A Comprehensive Framework for Combined Decision Procedures
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
201
Voted
ATAL
2005
Springer
16 years 16 days ago
An autonomous performance control framework for Distributed Multi-Agent Systems: a queueing theory based approach
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
Nathan Gnanasambandam, Seokcheon Lee, Soundar R. T...
CBMS
2002
IEEE
16 years 1 days ago
A Case Base Reasoning Framework to Author Personalized Health Maintenance Information
We present a Personalized Health Information Generation and Delivery System that leverages case based reasoning techniques to dynamically author a Personalized Health Information ...
Syed Sibte Raza Abidi
IPPS
2002
IEEE
16 years 12 hour ago
A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
Gerald Baumgartner, David E. Bernholdt, Daniel Coc...