Sciweavers

4679 search results - page 492 / 936
» The Timely Computing Base Model and Architecture
Sort
View
IJCV
2008
106views more  IJCV 2008»
15 years 6 months ago
A Model-Selection Framework for Multibody Structure-and-Motion of Image Sequences
Given an image sequence of a scene consisting of multiple rigidly moving objects, multi-body structure-and-motion (MSaM) is the task to segment the image feature tracks into the d...
Konrad Schindler, David Suter, Hanzi Wang
229
Voted
ICTAC
2009
Springer
15 years 4 months ago
A First-Order Policy Language for History-Based Transaction Monitoring
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
Andreas Bauer 0002, Rajeev Goré, Alwen Tiu
207
Voted
PERVASIVE
2008
Springer
15 years 6 months ago
AnonySense: Opportunistic and Privacy-Preserving Context Collection
Opportunistic sensing allows applications to "task" mobile devices to measure context in a target region. For example, one could leverage sensorequipped vehicles to measu...
Apu Kapadia, Nikos Triandopoulos, Cory Cornelius, ...
198
Voted
EDOC
2004
IEEE
15 years 10 months ago
Applying MDA Approach for Web Service Platform
In this paper, we present the development of an illustrative example of e-business based on two different applications of a Model-Driven Architecture (MDA) approach. In the first ...
Jean Bézivin, Slimane Hammoudi, Denivaldo L...
DSOM
2004
Springer
16 years 7 days ago
A Formal Validation Model for the Netconf Protocol
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
Sylvain Hallé, Rudy Deca, Omar Cherkaoui, R...