7430 search results - page 1310 / 1486 » Programming Applications in CIFF |
171
click to vote
WOSP
2004
ACM
15 years 12 months 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...
182
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
175
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
159
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
178
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...