12981 search results - page 610 / 2597 » Model Checking (Abstract) |
233
click to vote
GRID
2000
Springer
15 years 11 months ago
2000
Springer
: The concept of coupling geographically distributed (high-end) resources for solving large-scale problems is becoming increasingly popular, forming what is popularly called grid c...
191
Voted
STACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
244
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
217
Voted
ISLPED
2005
ACM
16 years 1 months ago
2005
ACM
Due to difficulties in distributing a single global clock signal over increasingly large chip areas, a globally asynchronous, locally synchronous design is considered a promising ...
184
click to vote
MIDDLEWARE
2004
Springer
16 years 23 days ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...