Sciweavers

5203 search results - page 155 / 1041
» An approach to workflow modeling and analysis
Sort
View
EICS
2009
ACM
15 years 10 months ago
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems
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...
Philippe A. Palanque, Marco Winckler, Jean-Fran&cc...
ADC
2004
Springer
103views Database» more  ADC 2004»
15 years 11 months ago
Optimizing The Lazy DFA Approach for XML Stream Processing
Lazy DFA (Deterministic Finite Automata) approach has been recently proposed to for efficient XML stream data processing. This paper discusses the drawbacks of the approach, sugge...
Danny Z. Chen, Raymond K. Wong
EUROMICRO
1996
IEEE
15 years 10 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
15 years 12 months ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
IEEESCC
2008
IEEE
16 years 22 days 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...