419 search results - page 74 / 84 » Automatic Generation of Device User-Interfaces |
151
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
123
Voted
DDECS
2009
IEEE
15 years 9 months ago
2009
IEEE
—Packet header analysis and extraction of header fields needs to be performed in all network devices. As network speed is increasing quickly, high speed packet header processing...
115
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
142
Voted
IEICET
2006
15 years 2 months ago
2006
The IEEE802.11e defines a MAC protocol, which provides EDCA (enhanced distributed channel access) and HCCA (HCF controlled channel access) to support differentiation service over W...
200
Voted
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...