2786 search results - page 171 / 558 » A Practical Technique for Process Abstraction |
138
click to vote
IFM
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
103
Voted
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
152
click to vote
ADBIS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
117
click to vote
TON
1998
15 years 1 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
104
Voted
IEAAIE
2005
Springer
15 years 7 months ago
2005
Springer
The discovery of new and potentially meaningful relationships between concepts in the biomedical literature has attracted the attention of a lot of researchers in text mining. The ...