2147 search results - page 375 / 430 » Teleological Software Adaptation |
CADE
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
HT
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
BIOADIT
2006
Springer
13 years 11 months ago
2006
Springer
Bandwidth demands of communication networks are rising permanently. Thus, the requirements to modern routers regarding packet classification are rising accordingly. Conventional al...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...