2513 search results - page 308 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
78
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
82
Voted
ICSE
2007
IEEE-ACM
16 years 26 days ago
2007
IEEE-ACM
Successful open source projects foster collaboration and innovation while benefiting from a faster pace of development, but are often plagued by poor developer's documentatio...
97
Voted
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
102
Voted
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
86
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...