Sciweavers

2144 search results - page 104 / 429
» Understanding Document Analysis and Understanding (through M...
Sort
View
HICSS
2003
IEEE
160views Biometrics» more  HICSS 2003»
15 years 3 months ago
Digital Documents and Media
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
Michael A. Shepherd
CAISE
2009
Springer
15 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...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 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...
COMPSAC
2002
IEEE
15 years 2 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
PVLDB
2010
82views more  PVLDB 2010»
14 years 8 months ago
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable diļ...
Irina Botan, Roozbeh Derakhshan, Nihal Dindar, Lau...