1268 search results - page 168 / 254 » Verifying distributed systems: the operational approach |
140
click to vote
ESCIENCE
2006
IEEE
16 years 7 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
181
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
139
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
133
click to vote
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
157
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
Protecting location information of mobile users in Location Based Services (LBS) is a very important but quite difficult and still largely unsolved problem. Location information h...