1906 search results - page 174 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
143
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
144
click to vote
CASCON
1996
15 years 5 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...
187
click to vote
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
The use of environmental energy is now emerging as a feasible energy source for embedded and wireless computing systems such as sensor networks where manual recharging or replacem...
130
click to vote
JPDC
2008
15 years 3 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
142
click to vote
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
– This paper describes a new approach to recognize touching numeral strings. Currently most methods for numeral string recognition require segmenting the string image into separa...