1228 search results - page 130 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
174
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Artificial Immune Systems (AISs) are biologically inspired problem solvers that have been used successfully as intrusion detection systems (IDSs). This paper describes how the des...
182
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
121
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we propose a web browsing support system, called WPM, which provides marking and anchoring functions on ordinary web browsers. WPM users can mark words and phrases ...
161
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Existing commercial Web browsers provide various utilities and functions, e.g., Web bookmarks and a browsing history list. Since the bookmark and history functions only the title ...
164
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...