6201 search results - page 338 / 1241 » Implementation of Axiomatic Language |
199
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
194
click to vote
DIAGRAMS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
168
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...
141
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
174
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...