2838 search results - page 134 / 568 » Verifying Controlled Components |
EGC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
BIRD
2008
Springer
2008
Springer
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
14 years 9 days ago
The thermodynamics of RNA-RNA interaction consists of two components: the energy necessary to make a potential binding region accessible, i.e., unpaired, and the energy gained from...
LREC
2008
13 years 11 months ago
2008
This paper focuses on automatically improving the readability of documents. We explore mechanisms relating to content control that could be used (i) by authors to improve the qual...
INCDM
2007
Springer
14 years 4 months ago
2007
Springer
Small to medium sized companies require a business control mechanism in order to monitor their modus operandi and analyse whether they are achieving their goals. A tool for the dec...
WORDS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper shows how role-based access control (RBAC) models can be implemented in distributed object-based systems that follow OMG/CORBA standards. We introduce a novel approach ...