Sciweavers

23557 search results - page 4075 / 4712
» Distributed Computing - Introduction
Sort
View
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
16 years 1 months ago
Action-related place-based mobile manipulation
— In mobile manipulation, the position to which the robot navigates has a large influence on the ease with which a subsequent manipulation action can be performed. Whether a man...
Freek Stulp, Andreas Fedrizzi, Michael Beetz
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ISORC
2009
IEEE
16 years 1 months ago
On the Semantics of UML/MARTE Clock Constraints
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
Frédéric Mallet, Charles André...
ISORC
2009
IEEE
16 years 1 months ago
From Requirements to Code Revisited
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
Tewfik Ziadi, Xavier Blanc, Amine Raji
LICS
2009
IEEE
16 years 1 months ago
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...
Kristoffer Arnsfelt Hansen, Michal Koucký, ...
« Prev « First page 4075 / 4712 Last » Next »