4460 search results - page 599 / 892 » Formal methods for interactive systems |
261
click to vote
CLUSTER
1999
IEEE
15 years 6 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
174
click to vote
AND
2009
15 years 4 months ago
2009
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
157
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We lay out one strand of a continuing investigation into the development of a virtual peer to help children learn to use “school English” and “school-ratified science talk...
212
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
160
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...