463 search results - page 72 / 93 » Method Tailoring as Negotiation |
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
ICDIM
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose an XML storage scheme based on Document Table Model (DTM) which expresses an XML document as a table form. When performing query processing on large scale XML data, XML...
EUROMICRO
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
WSC
2007
14 years 5 days ago
2007
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...