3733 search results - page 41 / 747 » Logics of communication and change |
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Routing dynamics heavily influence Internet data plane performance. Existing studies only narrowly focused on a few destinations and did not consider the predictability of the...
CNSR
2005
IEEE
14 years 3 months ago
2005
IEEE
ELPUB
2000
ACM
14 years 2 months ago
2000
ACM
This paper describes part of the results of recent research carried out in Brazil and the UK, which investigated the perceptions by academic social scientists of the impact of ele...
ICCD
1993
IEEE
14 years 2 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...