Sciweavers

1073 search results - page 97 / 215
» Reasoning about Continuous Processes
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 9 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
139
Voted
POLICY
2007
Springer
15 years 9 months ago
Proteus: A Semantic Context-Aware Adaptive Policy Model
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
Alessandra Toninelli, Rebecca Montanari, Lalana Ka...
ICRA
2002
IEEE
75views Robotics» more  ICRA 2002»
15 years 8 months ago
First Experiment in Sun-Synchronous Exploration
Sun-synchronous exploration is accomplished by reasoning about sunlight: where the Sun is in the sky, where and when shadows will fall, and how much power can be obtained through ...
David Wettergreen, M. Bernardine Dias, Benjamin Sh...
106
Voted
RE
1999
Springer
15 years 7 months ago
An Integrated Scenario Management Strategy
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
Thomas A. Alspaugh, Annie I. Antón, Tiffany...
168
Voted
KI
1998
Springer
15 years 7 months ago
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
Dirk Hähnel, Wolfram Burgard, Gerhard Lakemey...