90 search results - page 5 / 18 » Property models: from incidental algorithms to reusable comp... |
102
click to vote
FDL
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
ISCIS
2005
Springer
15 years 3 months ago
2005
Springer
A P2P network that is overlayed over Internet can consist of thousands, or even millions of nodes. To analyze the performance of a P2P network, or an algorithm or protocol designed...
SSS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
SMA
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we present a new visibility-based feature extraction algorithm from discrete models as dense point clouds resulting from laser scans. Based on the observation that ...
BIRTHDAY
2010
Springer
14 years 8 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...