12981 search results - page 2372 / 2597 » Model Checking (Abstract) |
129
Voted
PST
2004
15 years 5 months ago
2004
Abstract-- This work aims at measuring familiarity to contribute to the formalization of trust. Trust has always been bundled with familiarity to become a popular topic in the area...
167
Voted
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Graph-based modeling has emerged as a powerful abstraction capable of capturing in a single and unified framework many of the relational, spatial, topological, and other characteri...
126
click to vote
USITS
2001
15 years 5 months ago
2001
Abstract--This paper seeks to understand how network failures affect the availability of service delivery across wide-area networks (WANs) and to evaluate classes of techniques for...
131
click to vote
SPLC
2004
15 years 5 months ago
2004
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
133
click to vote
WOA
2001
15 years 5 months ago
2001
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...