4520 search results - page 399 / 904 » Algebraic Techniques for Timed Systems |
223
click to vote
CCS
1999
ACM
15 years 12 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
249
click to vote
AAAI
1997
15 years 9 months ago
1997
To effectively generate a fast and consistent apartment construction project network, Hyundai and KAIST have developed a case and constraint based project planning expert system f...
212
click to vote
COMPUTER
2010
15 years 5 months ago
2010
Computational finance leverages computer technologies to build models from large amounts of data to extract insight. In today's networked world, the amount of data available t...
183
click to vote
IMC
2007
ACM
15 years 9 months ago
2007
ACM
Testbeds composed of end hosts deployed across the Internet enable researchers to simultaneously conduct a wide variety of experiments. Active measurement studies of Internet path...
184
click to vote
DAGSTUHL
2006
15 years 9 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...