Sciweavers

3045 search results - page 326 / 609
» Formal Approaches to Software Architecture
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 12 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
ECBS
2007
IEEE
209views Hardware» more  ECBS 2007»
16 years 1 months ago
Aspect-Oriented Modeling of Ubiquitous Web Applications: The aspectWebML Approach
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
Andrea Schauerhuber, Manuel Wimmer, Wieland Schwin...
SBACPAD
2006
IEEE
102views Hardware» more  SBACPAD 2006»
16 years 23 days ago
Ultra-Fast CPU Performance Prediction: Extending the Monte Carlo Approach
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
Ram Srinivasan, Jeanine Cook, Olaf M. Lubeck
FIDJI
2004
Springer
16 years 4 days ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
CONTEXT
2001
Springer
15 years 11 months ago
A Connectionist-Symbolic Approach to Modeling Agent Behavior: Neural Networks Grouped by Contexts
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
Amy E. Henninger, Avelino J. Gonzalez, Michael Geo...