9067 search results - page 430 / 1814 » Adaptive Model Checking |
138
click to vote
FUIN
2006
15 years 6 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
194
click to vote
WOSS
2004
ACM
16 years 8 days ago
2004
ACM
Components in a decentralised system are faced with uncertainty as how to best adapt to a changing environment to maintain or optimise system performance. How can individual compo...
187
click to vote
LWA
2008
15 years 8 months ago
2008
Although asynchronous HTTP technologies have grown in importance with the emergence of Web 2.0, most web-based Adaptive Hypermedia Systems (AHS) still exclusively use serverside m...
205
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In recent years, technological developments have made it possible to build interactive 3D models of objects and 3D Virtual Environments that can be experienced through the Web, usi...