Sciweavers

1643 search results - page 204 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
91
Voted
EDOC
2007
IEEE
15 years 5 months ago
Modeling and Integrating Aspects into Component Architectures
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
Lydia Michotte, Robert B. France, Franck Fleurey
SAINT
2005
IEEE
15 years 4 months ago
Inductive Logic Programming for Structure-Activity Relationship Studies on Large Scale Data
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...
APLAS
2004
ACM
15 years 4 months ago
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
Tobias Lindahl, Konstantinos F. Sagonas
CASES
2004
ACM
15 years 2 months ago
Translating affine nested-loop programs to process networks
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere
DEBU
2008
118views more  DEBU 2008»
14 years 10 months ago
Big, Fast XQuery: Enabling Content Applications
Increasingly, companies recognize that most of their important information does not exist in relational stores but in documents. For a long time, textual information has been rela...
Mary Holstege