575 search results - page 24 / 115 » Introducing Service-Orientation into System Analysis and Des... |
TGC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
ICIAR
2010
Springer
14 years 11 days ago
2010
Springer
Two-factor authentication has been introduced in order to enhance security in authentication systems. Different factors have been introduced, which are combined for means of contr...
WSC
2007
13 years 10 months ago
2007
The estimation of the impact on performance in business process (BP) by introducing an information system (IS) is an important practical problem in investment appraisal. This pape...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...