6291 search results - page 449 / 1259 » Components Are from Mars |
187
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
158
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The phenomenal growth that the WWW currently experiences necessitates the integration of various types of information sources to its platform. We present an open, extensible multi...
174
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
192
Voted
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
156
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents results from on-going investigations into the performance of the Michiganstyle classifier system in a complex multi-agent environment. Using a simplified model...