2364 search results - page 247 / 473 » An Engine for Computing Well-Founded Models |
173
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
With the rapid growth of the Internet and pervasive computing activities, the migration of back-end legacy systems to network centric environments has become a focal point for res...
158
click to vote
TACS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
166
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
Localization is the subject matter that has allured the attention of many researchers in the field of wireless sensor network. It is the process of assigning or computing the locat...
141
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
120
Voted
IWPC
2010
IEEE
15 years 4 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...