Sciweavers

8132 search results - page 144 / 1627
» Dependability, Abstraction, and Programming
Sort
View
184
Voted
QEST
2008
IEEE
16 years 1 months 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 1 months 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,...
177
Voted
CF
2006
ACM
16 years 29 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
157
Voted
ICNC
2005
Springer
16 years 14 days 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
16 years 6 days 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