4520 search results - page 570 / 904 » Algebraic Techniques for Timed Systems |
140
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
186
click to vote
METRICS
2005
IEEE
16 years 12 days ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
172
click to vote
SSD
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Query optimization is an important functionality of modern database systems and often based on estimating the selectivity of queries before actually executing them. Well-...
164
click to vote
SIGSOFT
2004
ACM
16 years 7 days ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri�...
173
click to vote
ESORICS
2004
Springer
16 years 6 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...