Sciweavers

7103 search results - page 783 / 1421
» Program Generation and Components
Sort
View
193
Voted
PASTE
2004
ACM
16 years 28 days ago
An improved slicer for Java
We present an improved slicing algorithm for Java. The best algorithm known so far, first presented in [11], is not always precise if nested objects are used as actual parameters...
Christian Hammer, Gregor Snelting
197
Voted
AMAST
2004
Springer
16 years 27 days ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns
185
Voted
ARGMAS
2004
Springer
16 years 27 days ago
Negotiation Among DDeLP Agents
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
Fernando A. Tohmé, Guillermo Ricardo Simari
169
Voted
GPCE
2004
Springer
16 years 26 days ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
Davide Ancona, Eugenio Moggi
IFIP
2004
Springer
16 years 26 days ago
Realization of tai-chi motion using a humanoid robot
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, ...