2661 search results - page 427 / 533 » Model Checking Performability Properties |
SIGIR
2006
ACM
14 years 4 months ago
2006
ACM
Traditional web link-based ranking schemes use a single score to measure a page’s authority without concern of the community from which that authority is derived. As a result, a...
ISMS
2004
Springer
14 years 3 months ago
2004
Springer
Exophthalmia is characterized by a protrusion of the eyeball. The most frequent surgery consists in an osteotomy of the orbit walls to increase the orbital volume and to retrieve a...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
CSB
2002
IEEE
14 years 3 months ago
2002
IEEE
Analyzing protein sequence data becomes increasingly important recently. Most previous work on this area has mainly focused on building classification models. In this paper, we i...
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...