2013 search results - page 107 / 403 » Happy New Year |
166
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
151
click to vote
ICSE
1992
IEEE-ACM
15 years 10 months ago
1992
IEEE-ACM
This paper describes a language-independent program representation--the program dependence graph--and discusses how program dependence graphs, together with operations such as pro...
180
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
134
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
161
click to vote
IICS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The de�...