607 search results - page 40 / 122 » There Is Something about Might |
IWPC
2006
IEEE
15 years 8 months ago
2006
IEEE
Copy-paste programming is dangerous as it may lead to hidden dependencies between different parts of the system. Modifying clones is not always straight forward, because we might ...
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
105
click to vote
DEXAW
2005
IEEE
15 years 7 months ago
2005
IEEE
Sensor networks have opened new horizons and opportunities for a variety of environmental monitoring, surveillance and healthcare applications. One of the major tasks of sensor ne...
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
Despite recent advancements in cellular phone network infrastructure, survivability of the calls is still an open issue. Important business calls and tele-conferences cannot benef...
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...