Sciweavers

789 search results - page 43 / 158
» A Formal Model for Epistemic Interactions
Sort
View
DSN
2007
IEEE
14 years 2 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
JUCS
2008
115views more  JUCS 2008»
13 years 8 months ago
Capturing Interaction Requirements in a Model Transformation Technology Based on MDA
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
José Ignacio Panach, Sergio España, ...
AVI
2008
13 years 10 months ago
The need for an interaction cost model in adaptive interfaces
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
Bowen Hui, Sean Gustafson, Pourang Irani, Craig Bo...
RE
2006
Springer
13 years 8 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer
DEXAW
2008
IEEE
131views Database» more  DEXAW 2008»
14 years 2 months ago
FleXplorer: A Framework for Providing Faceted and Dynamic Taxonomy-Based Information Exploration
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
Yannis Tzitzikas, Nikos Armenatzoglou, Panagiotis ...