Sciweavers

3901 search results - page 288 / 781
» software 2008
Sort
View
ADAEUROPE
2008
Springer
16 years 1 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
AVI
2008
15 years 9 months ago
Exploring the feasibility of video mail for illiterate users
We present work that explores whether the asynchronous peer-topeer communication capabilities of email can be made accessible to illiterate populations in the developing world. Bu...
Archana Prasad, Indrani Medhi, Kentaro Toyama, Rav...
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
APN
2008
Springer
15 years 8 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
CISSE
2008
Springer
15 years 8 months ago
Improved Induction Tree Training for Automatic Lexical Categorization
This paper studies a tuned version of an induction tree which is used for automatic detection of lexical word category. The database used to train the tree has several fields to de...
M. D. López De Luise, M. Soffer, F. Spelanz...