2850 search results - page 59 / 570 » On Timed Models and Full Abstraction |
184
click to vote
IS
1998
15 years 5 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
152
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We present a universal algorithm for the classical online problem of caching or demand paging. We consider the caching problem when the page request sequence is drawn from an unkn...
189
click to vote
ISAS
2007
Springer
16 years 8 days ago
2007
Springer
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
145
Voted
ATVA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
182
Voted
APIN
2008
15 years 6 months ago
2008
Abstract Traditional financial analysis systems utilize lowlevel price data as their analytical basis. For example, a decision-making system for stock predictions regards raw price...