6978 search results - page 1050 / 1396 » On Proofs in System P |
168
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Organizations across many industries are implementing or exploring Web services technology. According to recent industry surveys, however, many organizations are still hesitating ...
172
click to vote
HICSS
2006
IEEE
16 years 27 days ago
2006
IEEE
Guided by knowledge transfer (KT) literature and Channel Expansion Theory (CET), we explore the relationship between the KT process, role-based experiences and media perceptions i...
171
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
We present a low-power architectural MPEG-4 part-10 AVC/H.264 video and MPEG-4 BSAC audio decoder chip capable of delivering high-quality and high-compression in wireless multimed...
189
click to vote
ICNS
2006
IEEE
16 years 27 days ago
2006
IEEE
Service Level Agreement Management in the telecommunications domain consists of a set of mechanisms for provisioning and monitoring services according to requirements given by eit...
209
click to vote
ICSM
2006
IEEE
16 years 27 days ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...