2661 search results - page 272 / 533 » Model Checking Performability Properties |
123
Voted
IJCSA
2006
15 years 24 days ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
101
click to vote
TSE
2011
14 years 7 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
84
Voted
ICCSA
2004
Springer
15 years 6 months ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
159
Voted
CC
2008
Springer
15 years 2 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
124
click to vote
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...