5377 search results - page 383 / 1076 » Programming Languages For Interactive Computing |
164
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
178
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
203
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
162
click to vote
DIMEA
2007
15 years 10 months ago
2007
The concept of Player Adaptive Entertainment Computing (PAEC) is introduced to provide personalized experiences when interacting with the entertainment media. Two of the important ...
165
click to vote
JIB
2006
15 years 6 months ago
2006
The accessible surface of a macromolecule is a significant determinant of its action. The interaction between biomolecules or protein-ligand is dependent on their surfaces rather ...