1711 search results - page 86 / 343 » Completing pseudojump operators |
143
Voted
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
145
Voted
DASFAA
2009
IEEE
16 years 4 days ago
2009
IEEE
Abstract. Web services are increasingly being used in business critical environments, enabling uniform access to services provided by distinct parties. In these environments, an op...
136
click to vote
BIRTHDAY
2009
Springer
16 years 3 days ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
132
click to vote
DATE
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract—Advances in chip-multiprocessor processing capabilities has led to an increased power consumption and temperature hotspots. Maintaining the on-chip temperature is import...
171
click to vote
TIME
2009
IEEE
16 years 2 days ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...