1856 search results - page 62 / 372 » Formal Dialectic Specification |
DAGSTUHL
1998
13 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
HYBRID
2010
Springer
13 years 8 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
ISORC
1998
IEEE
14 years 2 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
IAT
2006
IEEE
14 years 4 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
WISE
2006
Springer
14 years 4 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...