149 search results - page 25 / 30 » Interaction, imagination and immersion some research needs |
106
click to vote
WICSA
2007
15 years 2 months ago
2007
It has been well documented that there is a correlation between the structure of an architecture and the organization that produces it. More concretely there is a correlation betw...
111
click to vote
ENTCS
2007
15 years 1 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
115
click to vote
CCR
2004
15 years 1 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
192
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
103
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...