5550 search results - page 700 / 1110 » Different Approaches to Proof Systems |
167
Voted
FIW
2003
15 years 8 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
195
click to vote
SMARTNET
2000
15 years 8 months ago
2000
During the recent years of research on mobile agents, significant effort has been directed towards the identification of models of agent mobility suitable for network management a...
191
click to vote
USENIX
1996
15 years 8 months ago
1996
The goal of the MosquitoNet project is to provide continuous Internet connectivity to mobile hosts. Mobile hosts must be able to take advantage of the best network connectivity av...
215
Voted
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
190
click to vote
AMAI
2007
Springer
15 years 7 months ago
2007
Springer
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...