Sciweavers

16190 search results - page 2712 / 3238
» Applicative programming with effects
Sort
View
UML
2001
Springer
15 years 8 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
VLDB
2001
ACM
110views Database» more  VLDB 2001»
15 years 8 months ago
Comparing Hybrid Peer-to-Peer Systems
“Peer-to-peer” systems like Napster and Gnutella have recently become popular for sharing information. In this paper, we study the relevant issues and tradeoffs in designing a...
Beverly Yang, Hector Garcia-Molina
WAA
2001
Springer
15 years 8 months ago
Skewness of Gabor Wavelets and Source Signal Separation
Responses of Gabor wavelets in the mid-frequency space build a local spectral representation scheme with optimal properties regarding the time-frequency uncertainty principle. How...
Weichuan Yu, Gerald Sommer, Konstantinos Daniilidi...
124
Voted
DEXAW
2000
IEEE
88views Database» more  DEXAW 2000»
15 years 8 months ago
Spatio-Temporal Databases: Contentions, Components and Consolidation
Spatio-temporal databases have been the focus of considerable research activity over a significant period. However, there are as of yet very few prototypes of complete systems, f...
Norman W. Paton, Alvaro A. A. Fernandes, Tony Grif...
DSN
2000
IEEE
15 years 8 months ago
Executable Assertions for Detecting Data Errors in Embedded Control Systems
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an erro...
Martin Hiller
« Prev « First page 2712 / 3238 Last » Next »