623 search results - page 62 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
115
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract. Many parallel scienti c applications have dynamic and irregular computational structure. However, most such applications exhibit persistence of computational load and com...
105
click to vote
ICDM
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper offers a local distributed algorithm for expectation maximization in large peer-to-peer environments. The algorithm can be used for a variety of well-known data mining...
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
106
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
Text summarization is a data reduction process. The use of text summarization enables users to reduce the amount of text that must be read while still assimilating the core inform...