324 search results - page 7 / 65 » Model Transformations in Practice Workshop |
CSFW
1994
IEEE
14 years 4 days ago
1994
IEEE
We analyze the safety question for the Non-Monotonic Transform NMT model, an access control model that encompasses a wide variety of practical access control mechanisms. In genera...
WDAG
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...
ECOOPW
2003
Springer
14 years 1 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
ASPLOS
2009
ACM
14 years 21 hour ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Organizations are increasingly inter-connected as they source talent, goods and services from other organizations located in disparate parts of the world. They seek new ways of cr...