Sciweavers

5623 search results - page 855 / 1125
» Incremental Mechanism Design
Sort
View
193
Voted
MODELS
2007
Springer
16 years 26 days ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...
NBIS
2007
Springer
16 years 26 days ago
Trust Model for Mobile Devices in Ubiquitous Environment
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...
Zhefan Jiang, Sangwook Kim
179
Voted
OOPSLA
2007
Springer
16 years 26 days ago
Using hpm-sampling to drive dynamic compilation
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...
Dries Buytaert, Andy Georges, Michael Hind, Matthe...
203
Voted
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
16 years 25 days ago
Ontology-Driven Semantic Video Analysis Using Visual Information Objects
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
SSS
2007
Springer
16 years 25 days ago
Stabilization in Dynamic Systems with Varying Equilibrium
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
Hui Cao, Anish Arora