275 search results - page 33 / 55 » Optimization in Graph Transformation Systems Using Petri Net... |
HCI
2009
13 years 5 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
EICS
2009
ACM
13 years 11 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
VLDB
2004
ACM
14 years 27 days ago
2004
ACM
Large boolean matrices are a basic representational unit in a variety of applications, with some notable examples being interactive visualization systems, mining large graph struc...
NOMS
2002
IEEE
14 years 14 days ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...
SIMVIS
2003
13 years 9 months ago
2003
The paradigm of the proxel ("probability element") was recently introduced in order to provide a new algorithmic approach to analysing discrete-state stochastic models s...