3013 search results - page 140 / 603 » Context-Oriented Domain Analysis |
90
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
99
Voted
IM
1997
15 years 2 months ago
1997
Policies are a means of influencing management behaviour within a distributed system, without coding the behaviour into the managers. Authorisation policies specify what activitie...
111
Voted
ADBIS
2005
Springer
15 years 6 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
106
Voted
BMCBI
2005
15 years 21 days ago
2005
Background: The 'lid' subcomplex of the 26S proteasome and the COP9 signalosome (CSN complex) share a common architecture consisting of six subunits harbouring a so-call...
90
Voted
CHI
1998
ACM
15 years 5 months ago
1998
ACM
The Insight Lab is an immersive environment designed to support teams who create design requirements documents. Requirements emerge from a deep understanding of a problem domain, ...