16218 search results - page 165 / 3244 » Standards |
131
click to vote
ITP
2010
15 years 8 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
119
click to vote
GPC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
107
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The United Nation's Centre for Trade Facilitation and Electronic Business (UN/CEFACT) is an e-business standardization body. It is known from its work on UN/EDIFACT ...
105
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- We are proposing "PPRAM-Link": a new highspeed communication standard for merged-DRAM/logic SoC architecture. PPRAM-Link standard is composed of physical/logic...
134
click to vote
CAIP
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, a structure of a hybrid highly scalable video encoder with fine granularity scalability in a scheme based on a modified version of the classic MPEG-2 scalable encode...