Sciweavers

1511 search results - page 126 / 303
» Event Processing - past, present and future
Sort
View
DAC
2003
ACM
14 years 10 months ago
Parameter variations and impact on circuits and microarchitecture
Parameter variation in scaled technologies beyond 90nm will pose a major challenge for design of future high performance microprocessors. In this paper, we discuss process, voltag...
Shekhar Borkar, Tanay Karnik, Siva Narendra, James...
FM
2009
Springer
164views Formal Methods» more  FM 2009»
14 years 4 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
ISMAR
2007
IEEE
14 years 3 months ago
Human-Centered Development of an AR Handheld Display
In this paper we present the process of designing and developing a fully functional and interactive AR handheld device. Based on a human-centered approach we describe the results ...
Raphael Grasset, Andreas Dünser, Mark Billing...
ECAL
2005
Springer
14 years 3 months ago
Evolution and the Regulation of Environmental Variables
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...
Hywel T. P. Williams, Jason Noble
DEXAW
2000
IEEE
81views Database» more  DEXAW 2000»
14 years 2 months ago
Evaluation of Different Visualizations of Web Search Results
This paper discusses the evaluation of a visual information seeking system for the Web called INSYDER. The aim of INSYDER is to find business information on the Web. The evaluatio...
Thomas M. Mann, Harald Reiterer