1332 search results - page 44 / 267 » ideas 2008 |
104
click to vote
EPEW
2008
Springer
15 years 1 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ESTIMEDIA
2008
Springer
15 years 1 months ago
2008
Springer
We propose a method to automatically transform synchronous data flow diagrams into synchronous block diagrams. The idea is to use triggers, a mechanism that allows a block to be f...
110
click to vote
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
In 2003, Leonid A. Levin presented the idea of a combinatorial complete one-way function and a sketch of the proof that Tiling represents such a function. In this paper, we presen...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
How many moves does it take to solve Rubik's Cube? Positions are known that require 20 moves, and it has already been shown that there are no positions that require 27 or mor...