Sciweavers

2117 search results - page 98 / 424
» A Metadata Model for Capturing Presentations
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 5 months ago
Ontology-based Queries over Cancer Data
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
Alejandra González Beltrán, Ben Tagg...
ICRA
2007
IEEE
212views Robotics» more  ICRA 2007»
14 years 2 months ago
Adaptive Trajectory Tracking Control of Skid-Steered Mobile Robots
— Skid-steered mobile robots have been widely used for terrain exploration and navigation. In this paper, we present an adaptive trajectory control design for a skid-steered whee...
Jingang Yi, Dezhen Song, Junjie Zhang, Zane Goodwi...
JUCS
2010
162views more  JUCS 2010»
13 years 3 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
FASE
2007
Springer
14 years 1 days ago
Finding Environment Guarantees
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
ER
2006
Springer
99views Database» more  ER 2006»
13 years 12 months ago
Choreographies as Federations of Choreographies and Orchestrations
We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants mi...
Johann Eder, Marek Lehmann, Amirreza Tahamtan