1515 search results - page 206 / 303 » On the relation of aspects and monads |
EUROPKI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
GI
2005
Springer
14 years 2 months ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
ICCNMC
2005
Springer
14 years 2 months ago
2005
Springer
TCP Vegas detects network congestion in the early stage and successfully prevents periodic packet loss that usually occurs in TCP Reno. It has been demonstrated that TCP Vegas achi...
KDD
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we propose an information retrieval model called Latent Interest Semantic Map (LISM), which features retrieval composed of both Collaborative Filtering(CF) and Prob...