3736 search results - page 393 / 748 » Generative Programming |
176
click to vote
AMAST
2004
Springer
16 years 7 days ago
2004
Springer
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...
170
click to vote
ARGMAS
2004
Springer
16 years 7 days ago
2004
Springer
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...
149
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
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...
172
click to vote
NLDB
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
186
click to vote
TYPES
2004
Springer
16 years 5 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...