1472 search results - page 203 / 295 » On Model Checking Infinite-State Systems |
118
click to vote
IS
2010
15 years 7 days ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
104
Voted
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
116
Voted
IVA
2010
Springer
15 years 6 days ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
108
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
112
click to vote
GI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...