3081 search results - page 523 / 617 » A Formal Ontology of Properties |
172
click to vote
INFOSCALE
2006
ACM
16 years 8 days ago
2006
ACM
— We consider the following situation for a given large-scale network: Starting from an initial node we move to its neighbor node and repeat that until reaching a target node. Ho...
161
click to vote
ISSTA
2006
ACM
16 years 8 days ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
153
click to vote
SPAA
2006
ACM
16 years 8 days ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
147
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
175
click to vote
ASYNC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...