4798 search results - page 90 / 960 » Time for a change |
169
click to vote
Publication
This study compares the changes in levels of accessibility over time in the
Minneapolis - St. Paul region using two different modes (car and public transport). The
importance of ...
144
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
124
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
138
click to vote
FUIN
2007
15 years 4 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
119
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Files, classes, or methods have frequently been investigated in recent research on co-change. In this paper, we present a first study at the level of lines. To identify line chan...