2030 search results - page 191 / 406 » The Need for Customizable Operating Systems |
151
Voted
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
148
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: This paper illustrates the future role of mobile computing for the response in emergencies and mass casualty incidents (MCIs). Furthermore it describes the different components a...
217
Voted
AH
2000
Springer
15 years 10 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
140
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurable computing has become an important part of research in software systems and computer architecture. While prior research on reconfigurable computing have addressed ar...
137
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
ISPs operate "abuse" teams to deal with reports of inappropriate email being sent by their customers. Currently, the majority of this work is dealing with insecure syste...