Sciweavers

2556 search results - page 368 / 512
» The Triconnected Abstraction of Process Models
Sort
View
OTM
2004
Springer
16 years 12 days ago
Engineering an Ontology of Financial Securities Fraud
Abstract. This paper discusses the approach of ontology-based knowledge engineering in FF POIROT, a project to explore the use of ontology technology in information systems against...
Gang Zhao, John Kingston, Koen Kerremans, Frederic...
AC
2003
Springer
16 years 9 days ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
ESAW
2003
Springer
16 years 8 days ago
A Design Complexity Evaluation Framework for Agent-Based System Engineering Methodologies
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
Anthony Karageorgos, Nikolay Mehandjiev
IS4TH
2003
Springer
16 years 7 days ago
Real-Time Simulation of Self-collisions for Virtual Intestinal Surgery
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
Laks Raghupathi, Vincent Cantin, François F...
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
15 years 11 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar