1700 search results - page 87 / 340 » Specifying and implementing refactorings |
129
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
115
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
112
click to vote
EOR
2006
15 years 4 months ago
2006
We consider multi-period portfolio selection problems for a decision maker with a specified utility function when the variance of security returns is described by a discrete time ...
117
click to vote
IBIS
2006
15 years 4 months ago
2006
: This paper presents a framework for assessing inter-organizational integration of business information systems. The framework is organized along two dimensions, intensity of inte...