2030 search results - page 333 / 406 » The Need for Customizable Operating Systems |
ENTCS
2000
13 years 7 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
SOPR
1998
13 years 7 months ago
1998
Many organizations provide information technology services, either to external or internal customers. They maintain software, operate information systems, manage and maintain work...
PERCOM
2010
ACM
13 years 6 months ago
2010
ACM
Abstract—Municipal Wi-Fi networks aim at providing Internet access and selected mobile network services to citizens, travelers, and civil servants. The goals of these networks ar...
EMNLP
2010
13 years 5 months ago
2010
In state-of-the-art approaches to information extraction (IE), dependency graphs constitute the fundamental data structure for syntactic structuring and subsequent knowledge elici...
PVM
2010
Springer
13 years 5 months ago
2010
Springer
Commercial HPC applications are often run on clusters that use the Microsoft Windows operating system and need an MPI implementation that runs efficiently in the Windows environmen...