Sciweavers

620 search results - page 55 / 124
» Concrete Abstractions
Sort
View
MODELS
2009
Springer
14 years 4 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molièreâ...
Pierre-Alain Muller, Frédéric Fondem...
IROS
2008
IEEE
132views Robotics» more  IROS 2008»
14 years 4 months ago
Digital representation of everyday objects in a robot ecology via proxies
Abstract— Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. Unfortunately, very simple devices like ta...
Md. Jayedur Rashid, Mathias Broxvall, Alessandro S...
SOSE
2008
IEEE
14 years 4 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
VTC
2008
IEEE
145views Communications» more  VTC 2008»
14 years 4 months ago
Channel Model for Train to Train Communication Using the 400 MHz Band
Abstract—This paper presents a channel model for direct trainto-train communication appropriate for the 400 MHz band. Extrapolation of theoretical and experimental results obtain...
Cristina Rico Garcia, Andreas Lehner, Thomas Stran...
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
14 years 4 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...