ACSC
2002
IEEE
13 years 9 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
13 years 9 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
13 years 9 months ago
2002
IEEE
ACSC
2002
IEEE
13 years 9 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
13 years 9 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
13 years 9 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
13 years 9 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
13 years 9 months ago
2002
IEEE
ACSC
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...
ACSC
2002
IEEE
13 years 9 months ago
2002
IEEE
The majority of the world’s computing resources remains idle most of the time. By using this resource pool, an individual computation may be completed in a fraction of time requ...