1817 search results - page 71 / 364 » Extensive Games as Process Models |
155
Voted
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
141
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
115
Voted
WSC
2008
15 years 3 months ago
2008
Testing and benchmarking of stream processing systems requires workload representative of real world scenarios with myriad of users, interacting through different applications ove...
100
click to vote
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
125
click to vote
FCT
2003
Springer
15 years 6 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...