2700 search results - page 352 / 540 » The role of abstraction in software engineering |
157
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: A network of integrate-and-fire neurons with reciprocal synaptic connections to the four next neighbors is considered. The input to each neuron is the feature of an imag...
157
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
169
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
177
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
128
Voted
RISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. How can off-the-shelf editors be reused in applications that need mature editing support? We describe our editor multiplexer which enables interactive, application guided...