4325 search results - page 705 / 865 » Incremental computation with names |
ECOOP
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
119
click to vote
SP
1999
IEEE
15 years 3 months ago
1999
IEEE
There is often the need to update an installed Intrusion Detection System (IDS) due to new attack methods or upgraded computing environments. Since many current IDSs are construct...
ICDE
1998
IEEE
15 years 3 months ago
1998
IEEE
Consider a database that represents the location of moving objects, such as taxi-cabs (typical query: retrieve the cabs that are currently within 1 mile of 33 Michigan Ave., Chica...
WETICE
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...
118
click to vote
LICS
1993
IEEE
15 years 3 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...