2681 search results - page 211 / 537 » Topics in asynchronous systems |
146
Voted
ENTCS
2006
15 years 6 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
160
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
We address the topic of specifying multi-agent systems using the situation and state calculus (SSC). SSC has been proposed as an extension of the situation calculus to overcome so...
151
click to vote
IJFCS
2011
15 years 1 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
134
click to vote
ICC
2007
IEEE
16 years 13 days ago
2007
IEEE
— An orientation model provides an analytical means for describing fingerprint ridge orientations. It can help in data storage and recovery as well as other possible communicati...
161
click to vote
TMRA
2007
Springer
16 years 6 days ago
2007
Springer
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...