1541 search results - page 245 / 309 » Tools and Techniques for Model Checking Networked Programs |
89
Voted
TON
2008
15 years 13 days ago
2008
As the Internet infrastructure grows to support a variety of services, its legacy protocols are being overloaded with new functions such as traffic engineering. Today, operators en...
137
click to vote
VLSID
2005
IEEE
16 years 28 days ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
118
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
131
Voted
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
105
click to vote
USENIX
2007
15 years 2 months ago
2007
Spyware is a class of malicious code that is surreptitiously installed on victims’ machines. Once active, it silently monitors the behavior of users, records their web surfing ...