4737 search results - page 674 / 948 » The LOGIC negotiation model |
197
click to vote
SEKE
2004
Springer
16 years 22 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
206
click to vote
COMPSAC
2003
IEEE
16 years 20 days ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
198
click to vote
DEXAW
2003
IEEE
16 years 20 days ago
2003
IEEE
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
176
click to vote
ISCAS
2003
IEEE
16 years 20 days ago
2003
IEEE
Abstract - A comprehensive study of ultra high-speed currentmode logic (CML) buffers and regenerative CML latches will be illustrated. A new design procedure to systematically desi...
190
click to vote
DAC
2003
ACM
16 years 19 days ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...