2270 search results - page 385 / 454 » Modelling Secure IT Systems - A Survey |
142
Voted
JFP
2008
15 years 3 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
168
Voted
IJITN
2010
15 years 1 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
131
Voted
CSCW
2006
ACM
15 years 9 months ago
2006
ACM
If recommenders are to help people be more productive, they need to support a wide variety of real-world information seeking tasks, such as those found when seeking research paper...
144
click to vote
PPPJ
2003
ACM
15 years 9 months ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
139
Voted
ESA
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Data sets in large applications are often too massive to t completely inside the computer's internal memory. The resulting input output communication or I O between ...