1228 search results - page 144 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
172
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
164
click to vote
ADAEUROPE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
170
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
We apply advanced agent trust modeling techniques to identify malicious traffic in computer networks. Our work integrates four state-of-the-art techniques from anomaly detection,...
206
click to vote
INFOVIS
2005
IEEE
16 years 14 days ago
2005
IEEE
Many visual analysis tools operate on a fixed set of data. However, professional information analysts follow issues over a period of time and need to be able to easily add new doc...
205
click to vote
KBSE
2003
IEEE
16 years 4 days ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...