Sciweavers

3432 search results - page 437 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
JIS
2006
100views more  JIS 2006»
15 years 6 months ago
The convergence of digital libraries and the peer-review process
Pre-print repositories have seen a significant increase in use over the past fifteen years across multiple research domains. Researchers are beginning to develop applications capa...
Marko A. Rodriguez, Johan Bollen, Herbert Van de S...
CDC
2010
IEEE
170views Control Systems» more  CDC 2010»
15 years 1 months ago
Motion planning with hybrid dynamics and temporal goals
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
Amit Bhatia, Lydia E. Kavraki, Moshe Y. Vardi
USENIX
1994
15 years 8 months ago
Wux: UNIX Tools under Windows
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...
Diomidis Spinellis
CADE
2007
Springer
16 years 7 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
MA
1997
Springer
149views Communications» more  MA 1997»
15 years 10 months ago
Java-Based Mobile Agents - How to Migrate, Persist, and Interact on Electronic Service Markets
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
Boris Liberman, Frank Griffel, Michael Merz, Winfr...