12981 search results - page 2053 / 2597 » Model Checking (Abstract) |
199
click to vote
FTDCS
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
194
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
199
click to vote
IPPS
2003
IEEE
16 years 22 days ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
179
click to vote
ISLPED
2003
ACM
16 years 21 days ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
178
click to vote
ECOOPW
2003
Springer
16 years 20 days ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...