3256 search results - page 418 / 652 » Applications of Formal Methods to System Design and Verifica... |
155
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
The union of Interactive Digital TV (IDTV) and Web promotes the development of new interactive multimedia services, enjoyable while watching TV even on the new handheld digital TV...
160
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that desc...
175
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
124
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
— Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems. Due to these...
164
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a compact Nonlinear model Order Reduction Method (NORM) that is applicable for time-invariant and time-varying weakly nonlinear systems. NORM is suitable for r...