6155 search results - page 142 / 1231 » A language for multiple models of computation |
202
Voted
MEMOCODE
2008
IEEE
16 years 20 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
156
click to vote
CLEF
2005
Springer
15 years 11 months ago
2005
Springer
: We participated in two tasks: Multi-8 two-years-on retrieval and Multi-8 results merging. For our multi-8 two-years-on retrieval work, simple multilingual ranked lists are first ...
164
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
181
click to vote
TDSC
2010
15 years 1 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
178
click to vote
CICLING
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...