3801 search results - page 183 / 761 » An Approach to Modeling Software Safety |
127
click to vote
ENTCS
2007
15 years 4 months ago
2007
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, ...
187
Voted
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
126
click to vote
HCI
2009
15 years 2 months ago
2009
Producing caption for the deaf and hearing impaired is a labor intensive task. We implemented a software tool, named SmartCaption, for assisting the caption production process usin...
120
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
143
Voted
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...