Sciweavers

8132 search results - page 144 / 1627
» Dependability, Abstraction, and Programming
Sort
View
QEST
2008
IEEE
16 years 26 days ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 19 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
CF
2006
ACM
16 years 13 days ago
A dependability perspective on emerging technologies
t available: Pdf (734.64 KB) Additional Information: full citation, abstract, references, index terms Bibliometrics: Downloads (6 Weeks): 25, Downloads (12 Months): 230, Citation C...
Lucian Prodan, Mihai Udrescu, Mircea Vladutiu
ICNC
2005
Springer
15 years 12 months ago
Modeling Human Learning as Context Dependent Knowledge Utility Optimization
Abstract. Humans have the ability to flexibly adjust their information processing strategy according to situational characteristics. However, such ability has been largely overloo...
Toshihiko Matsuka
CAISE
2003
Springer
15 years 11 months ago
Empowering Databases for Context-Dependent Information Delivery
Abstract. We present a web-publishing platform that was developed by integrating key constructs and operations for web content delivery into the core of an object-oriented database...
Moira C. Norrie, Alexios Palinginis