1463 search results - page 238 / 293 » Model Checking Implicit-Invocation Systems |
134
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
166
Voted
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
118
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
126
Voted
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
128
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...