475 search results - page 40 / 95 » Formal Analysis of Processor Timing Models |
141
click to vote
SASN
2003
ACM
15 years 8 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
JGS
2000
15 years 3 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
159
click to vote
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
135
click to vote
COMCOM
2007
15 years 3 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
130
click to vote
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...