1776 search results - page 297 / 356 » Using a Logic Programming Language with Persistence and Cont... |
137
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
122
Voted
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
116
Voted
IFIP
2003
Springer
15 years 7 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
116
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
132
Voted
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...