3602 search results - page 118 / 721 » Isn't It About Time |
CSFW
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
PIMRC
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper we present an algorithm that measures the round trip times of IEEE 802.11 MAC packets in order to trilaterate WLAN nodes. We show that if we use packet sequences (...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...