FOCS
2002
IEEE
14 years 18 days ago
2002
IEEE
FOCS
2002
IEEE
14 years 18 days 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 19 days 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 19 days 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 19 days ago
2002
IEEE
ACSC
2002
IEEE
14 years 19 days 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 19 days 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 19 days 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 19 days 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 19 days ago
2002
IEEE
