Sciweavers

3224 search results - page 160 / 645
» Abstract Error Projection
Sort
View
HASE
2002
IEEE
15 years 11 months ago
An Approach to Specify and Test Component-Based Dependable Software
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
Arshad Jhumka, Martin Hiller, Neeraj Suri
176
Voted
ICDT
1997
ACM
95views Database» more  ICDT 1997»
15 years 11 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
Exception Handling in the Choices Operating System
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
Francis M. David, Jeffrey C. Carlyle, Ellick Chan,...
FTRTFT
2000
Springer
15 years 10 months ago
Modeling Faults of Distributed, Reactive Systems
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
Max Breitling
195
Voted
ANNPR
2008
Springer
15 years 8 months ago
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
Jean-François Connolly, Eric Granger, Rober...