Sciweavers

5599 search results - page 80 / 1120
» Abstract State Services
Sort
View
130
Voted
ENTCS
2007
158views more  ENTCS 2007»
15 years 1 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
JACM
2007
85views more  JACM 2007»
15 years 1 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
RAID
1999
Springer
15 years 6 months ago
Session State Transition Based Large Network IDS
In order to present large-scale malicious attacks on an ISP network to maintain network services, we have designed a method to record key packets classified by sessions. Session i...
Qianli Zhang, Xing Li
SIGMOD
2005
ACM
113views Database» more  SIGMOD 2005»
16 years 1 months ago
From databases to dataspaces: a new abstraction for information management
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...
Michael J. Franklin, Alon Y. Halevy, David Maier
DASFAA
2006
IEEE
141views Database» more  DASFAA 2006»
15 years 7 months ago
Dataspaces: A New Abstraction for Information Management
straction for Information Management Michael Franklin University of California, Berkeley Alon Halevy Google Inc. and U. Washington David Maier Portland State University The develo...
Alon Y. Halevy, Michael J. Franklin, David Maier