Sciweavers

6147 search results - page 1002 / 1230
» Requirements, Architectures and Risks
Sort
View
DAS
2008
Springer
15 years 9 months ago
MathBrush: A System for Doing Math on Pen-Based Devices
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
George Labahn, Edward Lank, Scott MacLean, Mirette...
ECAI
2008
Springer
15 years 9 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ECAI
2008
Springer
15 years 9 months ago
A BDD Approach to the Feature Subscription Problem
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...
Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O...
ECOOP
2008
Springer
15 years 9 months ago
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...
Shan Shan Huang, Amir Hormati, David F. Bacon, Rod...
ECOWS
2008
Springer
15 years 9 months ago
A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications
One of the promises of the Service-Oriented Architecture (SOA) is to build complex added-value services in order to enhance and extend existing ones. Service-Based Applications (S...
Maha Driss, Yassine Jamoussi, Jean-Marc Jéz...
« Prev « First page 1002 / 1230 Last » Next »