10159 search results - page 470 / 2032 » System Design Validation Using Formal Models |
141
Voted
ICEXSS
2010
14 years 11 months ago
2010
The promise of service orientation is that it enables an organization to prosper by delivering continuous value to customers. This prosperity is of strategic value to the organizat...
134
click to vote
PC
1998
15 years 4 months ago
1998
This paper investigates communication strategies for interconnecting heterogeneous parallel systems. As the speed of processors and parallel systems keep on increasing over the ye...
126
click to vote
PERVASIVE
2007
Springer
15 years 11 months ago
2007
Springer
Locating physical items is a highly relevant application addressed by numerous systems. Many of these systems share the drawback that costly infrastructure must be installed before...
147
click to vote
WSC
2007
15 years 7 months ago
2007
The problem of finding the binomial population with the highest success probability is considered when the number of binomial populations is large. A new rigorous indifference zo...
146
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...