1301 search results - page 103 / 261 » Specifications via Realizability |
126
Voted
PST
2008
15 years 5 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
132
Voted
SERVICES
2008
15 years 5 months ago
2008
Service-oriented computing and the ensuing science of services represent significant challenges to academia. As we come to grips with its many implications, we are slowly beginnin...
114
Voted
NAACL
2007
15 years 5 months ago
2007
Interests to realize semantic frames databases as a stable starting point in developing semantic knowledge based systems exists in countries such as Germany (the Salsa project), E...
120
Voted
CSREAESA
2004
15 years 5 months ago
2004
The remote diagnostics of faults and operating states of technical equipment offers increased benefits and cost advantages for consumers and manufacturers. These advantages can al...
97
Voted
FLAIRS
2004
15 years 5 months ago
2004
This paper introduces Sos, a location aware and context sensitive accommodation finding service for mobile citizens who require help finding somewhere to stay when they arrive at ...