12333 search results - page 2205 / 2467 » System Level Modelling for Hardware Software Systems |
154
click to vote
IJCAI
2007
15 years 6 months ago
2007
Human intelligence requires decades of full-time training before it can be reliably utilised in modern economies. In contrast, AI agents must be made reliable but interesting in r...
141
click to vote
ACSW
2006
15 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
148
Voted
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
141
click to vote
CGF
2008
15 years 4 months ago
2008
Algebraic Point Set Surfaces (APSS) define a smooth surface from a set of points using local moving least-squares (MLS) fitting of algebraic spheres. In this paper we first revisi...
136
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...