2835 search results - page 197 / 567 » Common Semantics for Use Cases and Task Models |
156
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
We present a probabilistic model-based framework for distributed learning that takes into account privacy restrictions and is applicable to scenarios where the different sites ha...
141
click to vote
FORTE
2010
15 years 6 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
136
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
139
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
168
click to vote
APCCM
2008
15 years 6 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...