598 search results - page 74 / 120 » Developing E-Government Integrated Infrastructures: A Case S... |
ERLANG
2007
ACM
14 years 20 days ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
HASE
2007
IEEE
14 years 20 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Developers perform small-scale reuse tasks to save time and to increase the quality of their code, but due to their small scale, the costs of such tasks can quickly outweigh their...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
There has been little work that attempts to improve the recognition of spontaneous, conversational speech by adding information from a loosely-coupled modality. This study investi...