4820 search results - page 617 / 964 » Implementing Signatures for C |
158
click to vote
ISSAC
2007
Springer
16 years 24 days ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...
191
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
192
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
Web based data services are very popular with the average computer user. Examples of such services include Gmail.com, Yahoo Photos, Yahoo Briefcase and Amazon S3 Service. In such ...
183
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
198
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...