392 search results - page 23 / 79 » APROL: a Hybrid Language |
110
click to vote
MATA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...
110
click to vote
WWW
2005
ACM
16 years 13 days ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
249
click to vote
CLOUDCOM
2010
Springer
14 years 8 months ago
2010
Springer
The advancements in computing have resulted in a boom of cheap, ubiquitous, connected mobile devices as well as seemingly unlimited, utility style, pay as you go computing resourc...
ESOP
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
NLP
2000
15 years 3 months ago
2000
