Sciweavers

2806 search results - page 424 / 562
» BML and Related Tools
Sort
View
WCET
2007
15 years 7 months ago
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
Daniel Sundmark, Anders Pettersson, Christer Sandb...
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 7 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
CIDR
2009
161views Algorithms» more  CIDR 2009»
15 years 7 months ago
A Case for A Collaborative Query Management System
Over the past 40 years, database management systems (DBMSs) have evolved to provide a sophisticated variety of data management capabilities. At the same time, tools for managing q...
Nodira Khoussainova, Magdalena Balazinska, Wolfgan...
DEXAW
2010
IEEE
172views Database» more  DEXAW 2010»
15 years 7 months ago
Distributed Semantic Video Tagging for Peer-to-Peer Authoring System
Abstract--In the context of a project aimed at the development of a cooperative and distributed Authoring System to facilitate the production, sharing, and integration of new and e...
Giuseppe Rizzo, Biagio Meirone, Pierluigi Di Nunzi...
ECSA
2010
Springer
15 years 7 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi