Sciweavers

1912 search results - page 261 / 383
» GOAL as a Planning Formalism
Sort
View
BPM
2003
Springer
92views Business» more  BPM 2003»
15 years 10 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork
AIME
1995
Springer
15 years 10 months ago
Coordinating Taxonomies: Key to Re-Usable Concept Representations
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
Alan L. Rector
DAC
1995
ACM
15 years 10 months ago
Automatic Clock Abstraction from Sequential Circuits
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
Samir Jain, Randal E. Bryant, Alok Jain
ARCS
2010
Springer
15 years 9 months ago
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
Patrick Bellasi, William Fornaciari, David Siorpae...
AMAST
2008
Springer
15 years 8 months ago
An Algebra for Features and Feature Composition
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
Sven Apel, Christian Lengauer, Bernhard Mölle...