12107 search results - page 30 / 2422 » Software That Can Think |
SIGOPS
2008
13 years 8 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
CCR
2011
13 years 3 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
ECOOPW
2001
Springer
14 years 14 days ago
2001
Springer
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
SOFSEM
2009
Springer
14 years 15 days ago
2009
Springer
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...