Sciweavers

1042 search results - page 111 / 209
» Towards Requirements Engineering of Active Database Systems
Sort
View
COOPIS
1997
IEEE
14 years 2 months ago
Task Sharing among Agents using Reactive Rules
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...
Mikael Berndtsson, Sharma Chakravarthy, Brian Ling...
COMPSAC
2005
IEEE
14 years 4 months ago
Detecting Intrusions Specified in a Software Specification Language
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
Mohammad Feroz Raihan, Mohammad Zulkernine
MABS
2004
Springer
14 years 3 months ago
Extending Time Management Support for Multi-agent Systems
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
Alexander Helleboogh, Tom Holvoet, Danny Weyns, Yo...
UCS
2007
Springer
14 years 4 months ago
Instant Learning Sound Sensor: Flexible Real-World Event Recognition System for Ubiquitous Computing
We propose a smart sound sensor for building context-aware systems that instantly learn and detect events from various kinds of everyday sounds and environmental noise by using sma...
Yuya Negishi, Nobuo Kawaguchi
ICSE
2007
IEEE-ACM
14 years 10 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin