10159 search results - page 1611 / 2032 » System Design Validation Using Formal Models |
241
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
We introduce a primitive called Hierarchical Identity-Coupling Broadcast Encryption (HICBE) that can be used for constructing efficient collusion-resistant public-key broadcast enc...
266
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...
158
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
152
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Second Life is an online virtual world that is gaining popularity in academic institutions as an alternative means for collaborative and distance education. However, the number of...
173
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...