20126 search results - page 3320 / 4026 » Timed Transition Systems |
195
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
226
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
222
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
234
click to vote
AIME
2007
Springer
16 years 1 months ago
2007
Springer
Many machines used in the modern hospital settings offer real time physiological monitoring. Haemodialysis machines combine a therapeutic treatment system integrated with sophistic...
183
click to vote
BIOWIRE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this chapter we survey the most recent proposals for modelling user mobility in mobile pervasive networks, and specifically in opportunistic networks. We identify two...