4502 search results - page 519 / 901 » Regular Model Checking |
168
click to vote
SFP
2004
15 years 8 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...
152
click to vote
MVA
1994
15 years 8 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...
206
click to vote
JTRES
2010
ACM
15 years 7 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...
155
click to vote
FUIN
2006
15 years 6 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...
170
click to vote
MMS
2006
15 years 6 months ago
2006
: In order to reduce transmission costs and response time, mobile clients typically cache data locally. But, avoiding the usage of outdated data and maintaining the consistency of ...