4211 search results - page 629 / 843 » Types as Abstract Interpretations |
129
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
The purpose of this paper is to apply and evaluate the bibliometric method Bradfordizing for information retrieval (IR) experiments. Bradfordizing is used for generating core docu...
128
Voted
IJNSEC
2008
15 years 5 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
151
click to vote
CLUSTER
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...
142
Voted
ISI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...
153
click to vote
PAAPP
2006
15 years 5 months ago
2006
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...