1769 search results - page 98 / 354 » An implementation of argument based discussion |
121
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
119
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
125
click to vote
PUC
2002
15 years 4 months ago
2002
: This paper discusses the user-centered location model used in comMotion. In this context, the location model refers to a set of learned places (destinations), which coincide to a...
108
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
152
click to vote
ECIS
2000
15 years 6 months ago
2000
This paper presents a concept for the integration of quantitative and qualitative information sources with their accompanying management support functionalities from navigation and...