Sciweavers

627 search results - page 50 / 126
» integration 1998
Sort
View
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
13 years 12 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
DEXAW
1998
IEEE
165views Database» more  DEXAW 1998»
13 years 11 months ago
Event Processing in Mobile and Active Database Systems Using Broadcasts
The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to em...
Stefan Sauer, Olaf Zukunft
ECOOPW
1998
Springer
13 years 11 months ago
Providing Automatic Support for Heuristic Rules of Methods
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
Bedir Tekinerdogan, Mehmet Aksit
AAAI
1998
13 years 9 months ago
When Robots Weep: Emotional Memories and Decision-Making
We describe an agent architecture that integrates emotions, drives, and behaviors, and that focuses on modeling some of the aspects of emotions as fundamental components within th...
Juan D. Velásquez
ACL
1998
13 years 9 months ago
A Text Understander that Learns
We introduce an approach to the automatic acquisition of new concepts fi'om natural language texts which is tightly integrated with the underlying text understanding process....
Udo Hahn, Klemens Schnattinger