1234 search results - page 146 / 247 » Organizational Abstractions for Adaptive Systems |
162
click to vote
FSTTCS
2004
Springer
15 years 11 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...
131
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We argue that adaptability and extensibility can be guaranteed by the utilization of the concepts meta-modeling, formation of concepts and reflection, which require the u...
156
click to vote
EVOW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We motivate and describe an analog evolvable hardware design platform named GRACE (i.e. Generative Robust Analog Circuit Exploration). GRACE combines coarse-grained, topo...
152
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
164
click to vote
SFP
2003
15 years 7 months ago
2003
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...