Sciweavers

6740 search results - page 231 / 1348
» Using Classification as a Programming Language
Sort
View
GAMEON
2000
15 years 3 months ago
RC++ A Rule Based Language for Game AI
"Game AI" is the high-level control code for computer entertainment applications. Games are diverse, and the nature of game AI reflects this diversity. However, game AI,...
Ian Wright, James A. R. Marshall
110
Voted
WWW
2005
ACM
16 years 2 months ago
SLL: running my web services on your WS platforms
Today, the choice for a particular programming language limits the alternative products that can be used to deploy the program. The purpose of this work is to break the strong tie...
Donald Kossmann, Christian Reichel
214
Voted
POPL
2004
ACM
16 years 2 months ago
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
94
Voted
SIGADA
1999
Springer
15 years 6 months ago
Interfacing low-level C device drivers with Ada 95
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
Steven Doran
112
Voted
JUCS
2006
100views more  JUCS 2006»
15 years 2 months ago
Expressing Workflow Patterns for Web Services: The Case of PEWS
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
Martin A. Musicante, Edinardo Potrich