4889 search results - page 361 / 978 » A Refactoring Approach to Parallelism |
162
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
140
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
140
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
135
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
122
Voted
FTDCS
1997
IEEE
15 years 9 months ago
1997
IEEE
: Security is a very important aspect of distributed computing systems, especially in distributed information environments involving widearea networks, such as internets. In this p...