6274 search results - page 1149 / 1255 » Proofs, Programs, Processes |
111
click to vote
ICSOC
2010
Springer
14 years 11 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
135
click to vote
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
124
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
105
click to vote
MSCS
2010
14 years 11 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...