Sciweavers

3346 search results - page 302 / 670
» A Generic Rendering System
Sort
View
EKAW
2010
Springer
15 years 4 months ago
Temporal Knowledge Acquisition and Modeling
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
Cyril Faucher, Charles Teissèdre, Jean-Yves...
FSE
2011
Springer
263views Cryptology» more  FSE 2011»
14 years 10 months ago
Practical Near-Collisions on the Compression Function of BMW
Abstract. Blue Midnight Wish (BMW) is one of the fastest SHA-3 candidates in the second round of the competition. In this paper we study the compression function of BMW and we obta...
Gaëtan Leurent, Søren S. Thomsen
USENIX
2007
15 years 9 months ago
Energy Management for Hypervisor-Based Virtual Machines
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...
Jan Stoess, Christian Lang, Frank Bellosa
FM
2009
Springer
164views Formal Methods» more  FM 2009»
16 years 1 months ago
The Denotational Semantics of slotted-Circus
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...
Pawel Gancarski, Andrew Butterfield
MMM
2008
Springer
114views Multimedia» more  MMM 2008»
16 years 1 months ago
Using Fuzzy Lists for Playlist Management
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
François Deliège, Torben Bach Peders...