Sciweavers

1014 search results - page 190 / 203
» ''What Is a Petri Net
Sort
View
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
13 years 4 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
IFIP
2010
Springer
13 years 2 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
PE
2010
Springer
135views Optimization» more  PE 2010»
13 years 2 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
DKE
2011
260views Education» more  DKE 2011»
12 years 11 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
INTR
2007
79views more  INTR 2007»
13 years 7 months ago
Is global IPv6 deployment on track?
— IPv6 has been the subject of a significant amount of research work in the networking field for more than a decade. The main aim of this paper is to discuss the current status o...
Mónica Domingues, Carlos Friaças, Pe...