1988 search results - page 266 / 398 » Engineering formal metatheory |
153
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
168
click to vote
EFDBS
2003
2003
Building platforms for information system interoperability - using a UML-based metamodeling approach
15 years 7 months ago
Abstract. Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. M...
160
click to vote
AAAI
2000
15 years 7 months ago
2000
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
134
click to vote
AIPS
1998
15 years 7 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
157
click to vote
FIW
1998
15 years 7 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...