4401 search results - page 460 / 881 » Computing with Default Logic |
188
Voted
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
162
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Measurement of the delay is an important and common problem in communication over packet networks. The endto-end and the round trip delay are among the factors directly impacting ...
201
Voted
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
145
click to vote
CF
2006
ACM
16 years 25 days ago
2006
ACM
Bytecode hardware-translation improves the performance of a Java Virtual Machine (JVM) with small hardware resource and complexity overhead. Instruction folding is a technique to ...
177
Voted
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...