2875 search results - page 378 / 575 » Model checking agentspeak |
117
click to vote
SFP
2004
15 years 4 months ago
2004
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
105
click to vote
MVA
1994
15 years 4 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
145
click to vote
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
108
click to vote
FUIN
2006
15 years 3 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
157
click to vote
IPL
2008
15 years 3 months ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...