2212 search results - page 88 / 443 » Automated software wrapping |
131
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Government regulations are increasingly affecting the security, privacy and governance of information systems in the United States, Europe and elsewhere. Consequently, co...
118
click to vote
AAAI
1997
15 years 5 months ago
1997
This paper describes preliminary results from using an AI robot control software architecture, known as 3T, as the software framework for a procedure tracking system for the space...
106
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
134
click to vote
WCET
2010
15 years 1 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
128
click to vote
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
As colleges and universities are moving into the realm of providing Internet connections to the residence dormitories (ResNet), the local help desk is becoming the focal point for...