Sciweavers

1642 search results - page 91 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
MOBIMEDIA
2007
15 years 6 months ago
Performance evaluation of IEEE 802.11e based on ON-OFF traffic model
We investigate the performance of the IEEE 802.11e while emphasizing on the end-to-end delay performance. In our MAC delay analysis, we are based on elementary conditional probabi...
Ioannis Papapanagiotou, John S. Vardakas, Georgios...
MODELS
2009
Springer
15 years 11 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ECAI
2004
Springer
15 years 10 months ago
Temporal Plan Interdependencies
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
Katharina Kaiser, Silvia Miksch
IJCAI
2001
15 years 6 months ago
Adaptive Control of Acyclic Progressive Processing Task Structures
The progressive processing model allows a system to trade off resource consumption against the quality of the outcome by mapping each activity to a graph of potential solution met...
Stéphane Cardon, Abdel-Illah Mouaddib, Shlo...
TSD
2009
Springer
15 years 11 months ago
Intraclausal Coordination and Clause Detection as a Preprocessing Step to Dependency Parsing
Abstract. The impact of clause and intraclausal coordination detection to dependency parsing of Slovene is examined. New methods based on machine learning and heuristic rules are p...
Domen Marincic, Matjaz Gams, Tomaz Sef