149 search results - page 25 / 30 » Interaction, imagination and immersion some research needs |
WICSA
2007
15 years 25 days 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...
88
Voted
ENTCS
2007
14 years 11 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...
CCR
2004
14 years 11 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...
163
Voted
FASE
2011
Springer
14 years 3 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...
82
Voted
BMCBI
2008
14 years 11 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...