9503 search results - page 213 / 1901 » Authenticated System Calls |
195
click to vote
HYBRID
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
196
click to vote
ENTCS
2006
15 years 7 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
213
click to vote
IIE
2007
15 years 7 months ago
2007
Conventional wisdom attributes the lack of effective technology use in classrooms to a shortage of professional development or poorly run professional development. At the same time...
261
click to vote
CEC
2003
IEEE
16 years 14 days ago
2003
IEEE
With the increase in information on the Internet, the strive to find more effective tools for distinguishing between interesting and non-interesting material is increasing. Drawing...
166
click to vote
HOTOS
2003
IEEE
16 years 14 days ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...