Sciweavers

3736 search results - page 334 / 748
» Hand-Writing Program Generator Generators
Sort
View
PASTE
2004
ACM
16 years 4 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
AMAST
2004
Springer
16 years 3 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
ARGMAS
2004
Springer
16 years 3 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
GPCE
2004
Springer
16 years 3 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
148
Voted
IFIP
2004
Springer
16 years 2 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, ...