740 search results - page 117 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
242
click to vote
COMCOM
2000
15 years 1 months ago
2000
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement a number of security services such as authentication, key exchange and real-time e...
238
click to vote
CHI
2011
ACM
14 years 4 months ago
2011
ACM
Parents and children in families living with regular separation due to work develop strategies to manage being apart. We interviewed 14 pairs of parents and children (ages 7 – 1...
115
click to vote
ISEUD
2009
Springer
15 years 8 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...
BMCBI
2008
15 years 1 months ago
2008
Background: Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual g...
128
click to vote
BIODATAMINING
2008
15 years 1 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...