2514 search results - page 218 / 503 » The use of industrial-strength formal methods |
172
click to vote
PODC
1999
ACM
15 years 10 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...
144
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
169
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
188
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
175
click to vote
MSWIM
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...