Sciweavers

9387 search results - page 20 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
IEAAIE
2009
Springer
15 years 5 months ago
Using Genetic Process Mining Technology to Construct a Time-Interval Process Model
Nowadays, some process information is represented by a process model. To understand process executed in many activities, process mining technologies are now extensively studied to...
Chieh-Yuan Tsai, I-Ching Chen
DSOM
2008
Springer
15 years 1 months ago
SYMIAN: A Simulation Tool for the Optimization of the IT Incident Management Process
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
Claudio Bartolini, Cesare Stefanelli, Mauro Torton...
ER
2004
Springer
107views Database» more  ER 2004»
15 years 4 months ago
A Scaleless Data Model for Direct and Progressive Spatial Query Processing
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
Sai Sun, Sham Prasher, Xiaofang Zhou
RTCSA
1999
IEEE
15 years 3 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
DATE
2003
IEEE
118views Hardware» more  DATE 2003»
15 years 4 months ago
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
Sharath Kodase, Shige Wang, Kang G. Shin