2407 search results - page 331 / 482 » A Tool for Abstraction in Model Checking |
176
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...
195
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A complexity model for context-based adaptive variable length coding (CAVLC) and universal variable length coding (UVLC) in the H.264/AVC decoder is proposed. CAVLC and...
170
click to vote
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
182
Voted
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
213
click to vote
TELETRAFFIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...