3130 search results - page 535 / 626 » Design Correctness of Digital Systems |
139
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
: e-business organizations are heavily dependent on distributed 24X7 robust information computing systems, for their daily operations. To secure distributed online transactions, th...
168
Voted
IMC
2006
ACM
15 years 9 months ago
2006
ACM
Modern Internet streaming services have utilized various techniques to improve the quality of streaming media delivery. Despite the characterization of media access patterns and u...
237
Voted
SENSYS
2006
ACM
15 years 9 months ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
157
click to vote
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
143
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...