Sciweavers

4117 search results - page 735 / 824
» On the Satisfiability of Complex Constraints
Sort
View
NETWORKING
2007
15 years 7 months ago
Construction of a Proxy-Based Overlay Skeleton Tree for Large-Scale Real-Time Group Communications
Abstract. We consider the problem of constructing a proxy-based overlay skeleton tree (POST) in the backbone service domain of a two-tier overlay multicast infrastructure. Spanning...
Jun Guo, Sanjay Jha
SPLC
2008
15 years 7 months ago
Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines
Embedded systems have several characteristics, such as application specific needs, real-time constraints and intrinsic embedded concerns (i.e. energy consumption), which hinder th...
Edison Pignaton de Freitas, Marco A. Wehrmeister, ...
RSS
2007
173views Robotics» more  RSS 2007»
15 years 7 months ago
Mapping Large Loops with a Single Hand-Held Camera
— This paper presents a method for Simultaneous Localization and Mapping (SLAM), relying on a monocular camera as the only sensor, which is able to build outdoor, closed-loop map...
Laura A. Clemente, Andrew J. Davison, Ian D. Reid,...
SDL
2007
139views Hardware» more  SDL 2007»
15 years 7 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...
SETP
2007
15 years 7 months ago
Using Communication Objects During Requirements Analysis
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
Peter J. Clarke, Yingbo Wang, Tuan L. Cameron, Yal...