6279 search results - page 250 / 1256 » Objects as session-typed processes |
166
click to vote
ECOOPW
2001
Springer
15 years 11 months ago
2001
Springer
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
165
click to vote
IEAAIE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
169
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
187
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
221
click to vote
ICSM
1996
IEEE
15 years 11 months ago
1996
IEEE
: Object-oriented technology has become mature enough to satisfy many new requirements coming from areas like computer-aided design (CAD), computer-integrated manufacturing (CIM), ...