Sciweavers

7057 search results - page 1006 / 1412
» Tasks, domains, and languages
Sort
View
JIT
2004
Springer
153views Database» more  JIT 2004»
16 years 7 days ago
Managing Product Line Variability by Patterns
Software product lines have a demonstrated potential for cost-effective development of software families. Product lines have to support and coordinate variabilities between the di...
Jürgen Meister, Ralf Reussner, Martin Rohde
MATA
2004
Springer
189views Communications» more  MATA 2004»
16 years 7 days ago
APHIDS: A Mobile Agent-Based Programmable Hybrid Intrusion Detection System
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...
Ken Deeter, Kapil Singh, Steve Wilson, Luca Filipo...
PERVASIVE
2004
Springer
16 years 7 days ago
Recognizing Workshop Activity Using Body Worn Microphones and Accelerometers
Most gesture recognition systems analyze gestures intended for communication (e.g. sign language) or for command (e.g. navigation in a virtual world). We attempt instead to recogn...
Paul Lukowicz, Jamie A. Ward, Holger Junker, Mathi...
COOPIS
2003
IEEE
16 years 5 days ago
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
Guizhen Yang, Michael Kifer, Chang Zhao
FDL
2003
IEEE
16 years 5 days ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
« Prev « First page 1006 / 1412 Last » Next »