Sciweavers

1494 search results - page 133 / 299
» Monitored Software Components - A Novel Software Engineering...
Sort
View
122
Voted
WEBI
2010
Springer
15 years 1 months ago
Integrating Provenance Information in Reservoir Engineering
Data management and analysis has become an integral component in the area of reservoir engineering. An important metric that determines the overall effectiveness of data analysis i...
Jing Zhao, Na Chen, Karthik Gomadam, Viktor K. Pra...
154
Voted
AMAST
2010
Springer
14 years 10 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh
91
Voted
DATE
2007
IEEE
68views Hardware» more  DATE 2007»
15 years 9 months ago
A sophisticated memory test engine for LCD display drivers
Economic testing of small devices like LCD drivers is a real challenge. In this paper we describe an approach where a production tester is extended by a memory test engine (MTE). ...
Oliver Spang, Hans Martin von Staudt, Michael G. W...
SAC
2010
ACM
15 years 10 months ago
MetaSelf: an architecture and a development method for dependable self-* systems
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
Giovanna Di Marzo Serugendo, John S. Fitzgerald, A...
ICSE
2003
IEEE-ACM
15 years 8 months ago
A Tutorial on Feature Oriented Programming and Product-Lines
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
Don S. Batory