3575 search results - page 189 / 715 » Modeling Concurrency with Geometry |
134
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
127
Voted
DEXA
2000
Springer
15 years 9 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
157
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
149
Voted
ICEBE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
162
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...