1678 search results - page 279 / 336 » An ASM Specification of C |
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
AUTOMOTIVEUI
2009
ACM
14 years 4 months ago
2009
ACM
Driving behavior has been trending towards more time in the car and longer commutes. This has fueled the demand for an increasing number of in-vehicle infotainment features, at th...
INTERACTION
2009
ACM
14 years 4 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
IPTV is increasingly being deployed and offered as a commercial service to residential broadband customers. Compared with traditional ISP networks, an IPTV distribution network (i...