6279 search results - page 1058 / 1256 » Objects as session-typed processes |
172
click to vote
WOSP
2004
ACM
16 years 1 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
194
click to vote
ATAL
2004
Springer
16 years 21 hour ago
2004
Springer
In this paper we will examine two main aspects of trust dynamics: a) How direct experiences involving trust, with their successes or failures, influence the future trust of an age...
191
click to vote
CIKM
2004
Springer
16 years 17 hour ago
2004
Springer
Recently, a large amount of work has been done in XML data mining. However, we observed that most of the existing works focus on the snapshot XML data, while XML data is dynamic i...
186
click to vote
ECOOP
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
179
click to vote
ER
2004
Springer
16 years 12 hour ago
2004
Springer
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...