4957 search results - page 121 / 992 » Simplifying Distributed System Development |
66
Voted
IOR
2007
15 years 21 days ago
2007
This paper develops simple approximate methods to analyze a two-stage stochastic distribution system consisting of one warehouse and multiple retailers. We consider local and cent...
93
Voted
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
95
Voted
AAAI
2004
15 years 2 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
113
click to vote
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
119
Voted
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...