1585 search results - page 288 / 317 » A framework for computer-aided validation |
141
Voted
PERCOM
2003
ACM
16 years 2 months ago
2003
ACM
A mobile ad-hoc network is an autonomous system of mobile routers that are self-organizing and completely decentralized with no requirements for dedicated infrastructure support. ...
132
Voted
PLDI
2010
ACM
16 years 22 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
123
Voted
ALT
2008
Springer
16 years 9 days ago
2008
Springer
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...
102
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
146
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
— Mobile learning applications introduce a new degree of ubiquitousness in the learning process. There is a new generation of ICT-powered mobile learning experiences that exist i...