3045 search results - page 405 / 609 » Formal Approaches to Software Architecture |
178
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
155
click to vote
COMSWARE
2006
IEEE
16 years 23 days ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
127
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
181
click to vote
AAI
2006
15 years 6 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
187
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present a novel approach for filtering XML documents using nondeterministic finite automata and distributed hash tables. Our approach differs architecturally from recent propos...