1894 search results - page 262 / 379 » A TLA Proof System |
113
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of scheduling packets over a number of channels with time varying connectivity. Policies proposed for this problem either stabilize the system when the ...
129
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
126
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
130
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...