Sciweavers

6757 search results - page 131 / 1352
» Knowledge Analysis on Process Models
Sort
View
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
15 years 12 months ago
System-level process variability analysis and mitigation for 3D MPSoCs
Abstract—While prior research has extensively evaluated the performance advantage of moving from a 2D to a 3D design style, the impact of process parameter variations on 3D desig...
Siddharth Garg, Diana Marculescu
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 5 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
AAAI
2006
15 years 6 months ago
Using an Ontology for Knowledge Acquisition
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
Stacy Lovell, Webb Stacy
ATAL
2005
Springer
15 years 10 months ago
A multiagent system manages collaboration in emergent processes
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
John K. Debenham
GROUP
1997
ACM
15 years 9 months ago
Flexible support for business processes: extending cooperative hypermedia with process support
In this paper, we present a cooperativehypermediabased process support system aimed on exible business processes. An analysis of the communication, coordination and cooperation r...
Jörg M. Haake, Weigang Wang