1837 search results - page 68 / 368 » Architecture = Abstractions over Software |
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
Data access and software exchange are often achieved over insecure networks such as the public Internet. System designers are therefore forced to be proactive with regard to verif...
TITB
1998
13 years 8 months ago
1998
Abstract— The European High-Performance Information Infrastructure in Medicine, nB3014 (HIM3) project of the Trans-European Network—Integrated Broadband Communications (TEN-IB...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
— Several solutions exist to bridge the last-mile gap in rural telecom. These extend a point of presence from a town to kiosks in surrounding villages. In this paper, we deal wit...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...