14895 search results - page 2862 / 2979 » Evaluating The Regret System |
136
click to vote
ICFEM
2007
Springer
16 years 6 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
176
click to vote
LCPC
2007
Springer
16 years 5 days ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
163
Voted
LCTRTS
2007
Springer
16 years 5 days ago
2007
Springer
The run-time performance of VLIW (very long instruction word) microprocessors depends heavily on the effectiveness of its associated optimizing compiler. Typical VLIW compiler pha...
202
click to vote
LOCA
2007
Springer
16 years 5 days ago
2007
Springer
In this paper we present an approach to analyzing the social behaviors that occur in a typical office space. We describe a system consisting of over 200 motion sensors connected ...
169
click to vote
MIDDLEWARE
2007
Springer
16 years 5 days ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...