556 search results - page 89 / 112 » Checking Interval Properties of Computations |
139
click to vote
SIGOPS
2008
15 years 1 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
118
click to vote
ENTCS
2006
15 years 1 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
107
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
140
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
The World Wide Web Consortium's RDF standard primarily consists of (subject,property,object) triples that specify the value that a given subject has for a given property. How...
170
click to vote
CGO
2011
IEEE
14 years 5 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...