7557 search results - page 163 / 1512 » Modeling Timed Concurrent Systems |
172
click to vote
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
130
click to vote
ICANN
2005
Springer
15 years 12 months ago
2005
Springer
We present an approach where we combine attention with value maps for the purpose of acquiring a decision-making policy for multiple concurrent goals. The former component is essen...
176
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
170
click to vote
RTCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. This paper proposes “Zero-stop Authentication” system, which requires no intentional interactions between users and authentication applications. Our Zero-stop Authent...
143
click to vote
CAV
1994
Springer
15 years 10 months ago
1994
Springer
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...