2850 search results - page 76 / 570 » On Timed Models and Full Abstraction |
151
click to vote
ICTIR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract Even the best information retrieval model cannot always identify the most useful answers to a user query. This is in particular the case with web search systems, where it ...
151
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
162
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
152
click to vote
ESORICS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
144
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...