1856 search results - page 238 / 372 » Formal Dialectic Specification |
182
click to vote
PASTE
2004
ACM
16 years 16 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
184
Voted
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
164
click to vote
ITS
2004
Springer
16 years 14 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
190
Voted
MABS
2004
Springer
16 years 14 days ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
200
Voted
IEEEAMS
2003
IEEE
16 years 11 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...