FOCS
2002
IEEE
14 years 4 months ago
2002
IEEE
FOCS
2002
IEEE
14 years 4 months ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
We propose a flow-sensitive alias analysis algorithm that computes safe and efficient alias sets in Java. For that, we propose a references-set representation of aliased elements,...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current...
ACSC
2002
IEEE
14 years 4 months ago
2002
IEEE
