Sciweavers

2288 search results - page 220 / 458
» An integrated system for genetic analysis
Sort
View
APSEC
2007
IEEE
16 years 29 days ago
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Denn...
DS
1997
104views Database» more  DS 1997»
15 years 8 months ago
Managing Constraint Violations in Administrative Information Systems
This paper motivates a comprehensive methodological framework for dealing with some aspects of real-world complexity in information system analysis and design. By complex applicat...
I. Boydens, Alain Pirotte, Esteban Zimányi
ISOLA
2010
Springer
15 years 4 months ago
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
Twan Basten, Emiel van Benthum, Marc Geilen, Marti...
CUZA
2002
132views more  CUZA 2002»
15 years 6 months ago
A Process Algebra for Predictible Control Systems
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
Nicolae Marian
ICCSA
2004
Springer
15 years 12 months ago
XCRAB: A Content and Annotation-Based Multimedia Indexing and Retrieval System
During recent years, a new framework, which aims to bring a unified and global approach in indexing, browsing and querying various digital multimedia data such as audio, video and ...
Seungmin Rho, SooCheol Lee, Eenjun Hwang, YangKyoo...