1524 search results - page 131 / 305 » Operational Semantics of Hybrid Systems |
DALT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...
TOPLAS
2008
14 years 10 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
ENTCS
2000
14 years 9 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...