11558 search results - page 2017 / 2312 » Analytics for software development |
182
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
171
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
198
click to vote
ER
2004
Springer
16 years 1 days ago
2004
Springer
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
147
click to vote
FIDJI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
163
click to vote
FOSSACS
2004
Springer
16 years 1 days ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...