1562 search results - page 134 / 313 » Convenience Over Correctness |
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— A robust and flexible wireless video multicast system with the H.264 scalable video coding (SVC) coding format and network coding (NC) is proposed in this work. The system ena...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
BIRD
2007
Springer
2007
Springer
Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online Server
14 years 3 months ago
An online protein interaction server has been designed and implemented to make predictions for 256 nonhomologous protein-protein interaction sites using patch analysis. Predictions...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
Creating courses by combining Learning Objects (LOs) sourced from third parties, known as courseware, is becoming more popular of late. Although courseware has advantages over tra...