11603 search results - page 2168 / 2321 » Securing Embedded Systems |
188
click to vote
TIC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
177
click to vote
DGO
2007
15 years 7 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
172
click to vote
LISA
2003
15 years 7 months ago
2003
This paper presents three simple techniques for improving network service using relatively unknown features of many existing networks. The resulting system provides greater reliab...
177
click to vote
CASCON
1996
15 years 7 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
181
click to vote
DGO
2009
15 years 7 months ago
2009
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...