1162 search results - page 56 / 233 » Specifying Reusable Components |
156
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
113
Voted
HPDC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes work in progress to develop a standard for interoperability among high-performance scientific components. This research stems from growing recognition that th...
131
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
129
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
112
Voted
SERVICES
2008
15 years 4 months ago
2008
In Service Oriented Architecture, each application is often designed with a set of reusable services and a business process. In order to retain the reusability of services, it is ...