4126 search results - page 92 / 826 » Relationships with other Formalisms |
154
click to vote
COMPSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
155
click to vote
ISLPED
2005
ACM
15 years 12 months ago
2005
ACM
Designers are moving toward chip-multiprocessors (CMPs) to leverage application parallelism for higher performance while keeping design complexity under control. However, to date,...
266
click to vote
ITICSE
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
162
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
173
click to vote
APN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...