Sciweavers

1624 search results - page 130 / 325
» Modelling Variability for System Families
Sort
View
OOPSLA
2001
Springer
15 years 7 months ago
The Java Syntactic Extender
The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a langua...
Jonathan Bachrach, Keith Playford
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 3 months ago
Information Fusion for Anomaly Detection with the Dendritic Cell Algorithm
Dendritic cells are antigen presenting cells that provide a vital link between the innate and adaptive immune system, providing the initial detection of pathogenic invaders. Resea...
Julie Greensmith, Uwe Aickelin, Gianni Tedesco
RISE
2004
Springer
15 years 8 months ago
A Symbolic Model Checker for tccp Programs
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
María Alpuente, Moreno Falaschi, Alicia Vil...
ENTCS
2008
95views more  ENTCS 2008»
15 years 3 months ago
A Rule-based Method to Match Software Patterns Against UML Models
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
Demis Ballis, Andrea Baruzzo, Marco Comini
109
Voted
HICSS
2008
IEEE
189views Biometrics» more  HICSS 2008»
15 years 9 months ago
KMS Quality - Impact on Competitive Advantage
This article demonstrates the way in which Knowledge Management System (KMS) quality influences effective competitive advantage through decision making and through organizational ...
Nassim Belbaly