Sciweavers

222 search results - page 22 / 45
» PCLOS: A Critical Review
Sort
View
ADAEUROPE
2001
Springer
14 years 1 days ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
MOBIHOC
2000
ACM
13 years 12 months ago
DEAPspace: transient ad-hoc networking of pervasive devices
The rapid spreading of mobile computerized devices marks the beginning of a new computing paradigm characterized by ad hoc networking and spontaneous interaction, taking place tra...
Reto Hermann, Dirk Husemann, Michael Moser, Michae...
ICRA
1999
IEEE
133views Robotics» more  ICRA 1999»
13 years 11 months ago
An Autonomous Sensor-Based Path-Planner for Planetary Microrovers
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
Sharon L. Laubach, Joel W. Burdick
ELECTRONICMARKETS
2000
81views more  ELECTRONICMARKETS 2000»
13 years 7 months ago
On Auctions as the Negotiation Paradigm of Electronic Markets
Until recently, electronic markets were dominated by the combination of static offer schemes and fixed pricing. Static offer schemes such as online catalogues apparently bear the ...
Michael Ströbel
CORR
2002
Springer
156views Education» more  CORR 2002»
13 years 7 months ago
MPICH-G2: A Grid-Enabled Implementation of the Message Passing Interface
Application development for distributed-computing ``Grids'' can benefit from tools that variously hide or enable application-level management of critical aspects of the ...
Nicholas T. Karonis, Brian R. Toonen, Ian T. Foste...