2625 search results - page 478 / 525 » Applications 2000 |
148
click to vote
MOVEP
2000
15 years 10 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
186
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
190
click to vote
PADL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
154
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
186
click to vote
RTSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...