Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
DEBU
2002
81views more  DEBU 2002»
10 years 2 months ago
Profiling and Service Delivery in Internet-enabled Cars
This paper presents our experience applying web services and active database technology in an automotive scenario. Particularly, we concentrate on developing an infrastructure for...
Mariano Cilia, Alejandro P. Buchmann
ICSE
2008
IEEE-ACM
11 years 3 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
books