2030 search results - page 264 / 406 » Checklists for Software Engineering Case Study Research |
114
Voted
COMPSAC
2010
IEEE
15 years 16 days ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
119
Voted
FSTTCS
2010
Springer
15 years 16 days ago
2010
Springer
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
144
click to vote
SERP
2010
15 years 12 days ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
153
click to vote
WER
2010
Springer
15 years 11 days ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
142
Voted
ESSOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...