5377 search results - page 830 / 1076 » Programming Languages For Interactive Computing |
119
click to vote
BSL
2004
15 years 3 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
124
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
154
click to vote
AISADM
2005
Springer
15 years 9 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
125
click to vote
COMPUTER
1999
15 years 3 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
153
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...