1407 search results - page 40 / 282 » Using Use Cases in Executable Z |
125
click to vote
CF
2004
ACM
15 years 8 months ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
147
Voted
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
We address the problem of computing approximate answers to continuous sliding-window joins over data streams when the available memory may be insufficient to keep the entire join...
113
click to vote
JLP
2006
15 years 2 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
114
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Convolutional spreading CDMA with cyclic prefix (CS-CDMA/CP) enables multiuser interference-free (MUI-free) transmission over multipath channels with the use of zero correlation zo...