3028 search results - page 195 / 606 » Integrating Temporal Logics |
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
195
click to vote
BSN
2006
IEEE
16 years 1 months ago
2006
IEEE
Ubiquitous computing has established a vision of computation where computers are so deeply integrated into our lives that they become both invisible and everywhere. In order to ha...
208
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
223
click to vote
BIBM
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
230
click to vote
CGF
2008
15 years 7 months ago
2008
Currently 3D animation rendering and video compression are completely independent processes even if rendered frames are streamed on-the-fly within a client-server platform. In suc...