Sciweavers

1522 search results - page 41 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
CAISE
2009
Springer
14 years 4 months ago
Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
Elvira Rolón Aguilar, Jorge Cardoso, F&eacu...
IEEESCC
2008
IEEE
14 years 4 months ago
A Framework for Service Interoperability Analysis using Enterprise Architecture Models
Good IT decision making is a highly desirable property that can be furthered by the use of enterprise architecture, an approach to IT management using diagrammatic models. In orde...
Johan Ullberg, Robert Lagerström, Pontus John...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
DOCENG
2007
ACM
14 years 1 months ago
Structure and content analysis for html medical articles: a hidden markov model approach
We describe ongoing research on segmenting and labeling HTML medical journal articles. In contrast to existing approaches in which HTML tags usually serve as strong indicators, we...
Jie Zou, Daniel X. Le, George R. Thoma
COMPLEX
2009
Springer
14 years 1 months ago
A Comparative Analysis of Specific Spatial Network Topological Models
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...
Jun Wang, Gregory M. Provan