2850 search results - page 55 / 570 » On Timed Models and Full Abstraction |
152
click to vote
TC
2002
15 years 5 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
160
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract- Procurement, i.e., the process of obtaining materials or services and managing their inflow into organizations, is a critical process in supply chain management. Internet...
169
Voted
CIBCB
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
180
click to vote
IDEAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
206
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...