Sciweavers

3233 search results - page 371 / 647
» Rule Modeling and Markup
Sort
View
ICCS
2007
Springer
16 years 26 days ago
Autonomic Workflow Management in the Grid
The autonomic workflow engine enables workflow to be dynamically specified and adapted using Event-Condition-Action rules. A new approach to autonomic execution of workflow process...
Guangsheng Zhang, Changjun Jiang, Jing Sha, Ping S...
MATES
2007
Springer
16 years 26 days ago
Using DESs for Temporal Diagnosis of Multi-agent Plan Execution
The most common reason for plan repair are the violation of a plan’s temporal constraints. Air Traffic Control is an example of an area in which violations of the plan’s tempo...
Femke de Jonge, Nico Roos, Huib Aldewereld
MTSR
2007
Springer
16 years 26 days ago
Using Agricultural Ontologies
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
Michael T. Maliappis
DATE
2005
IEEE
118views Hardware» more  DATE 2005»
16 years 10 days ago
Realization of a Virtual Lambda Sensor on a Fixed Precision System
The aim of this work is to study the implementation feasibility of a VLS (Virtual Lambda Sensor) by a TSK (Takagi, Sugeno, Kang) singleton FIS (Fuzzy Inference System). Such a sen...
Paolo Amato, Nicola Cesario, M. Di Meglio, Frances...
MEMOCODE
2005
IEEE
16 years 9 days ago
Automatic synthesis of cache-coherence protocol processors using Bluespec
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
Nirav Dave, Man Cheuk Ng, Arvind