4418 search results - page 161 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
147
Voted
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
139
Voted
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
166
click to vote
RIAO
2000
15 years 6 months ago
2000
Informationretrieval systems typically weight the importance of search terms according to document and collection statistics (such as by using tf idf scores, where less commonterm...
132
click to vote
DPD
2007
15 years 4 months ago
2007
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...
132
Voted
AAAI
2006
15 years 6 months ago
2006
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...