1975 search results - page 116 / 395 » Property analysis and design understanding |
165
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
The Grid computing vision promises to provide the needed platform for a new and more demanding range of applications. For this promise to become true, a number of hurdles, includin...
173
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
157
click to vote
ICTAI
1999
IEEE
15 years 10 months ago
1999
IEEE
Recently there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, o...
227
click to vote
APSCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
186
click to vote
OOPSLA
2007
Springer
16 years 9 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...