431 search results - page 81 / 87 » The five orders of ignorance |
102
click to vote
HIPC
2003
Springer
15 years 2 months ago
2003
Springer
Abstract: Overlay Multicast networks in mobile ad-hoc environments have received much attention due to their increasing number of practical applications. Although overlay multicast...
MSR
2010
ACM
15 years 2 months ago
2010
ACM
—Social network methods are frequently used to analyze networks derived from Open Source Project communication and collaboration data. Such studies typically discover patterns in...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
FQAS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...