3931 search results - page 329 / 787 » Separation logic and abstraction |
179
click to vote
CCECE
2006
IEEE
16 years 27 days ago
2006
IEEE
The purpose of this paper is to use the aspect-oriented programming (AOP) paradigm for security testing. AOP allows security experts to develop and inject separate modules for con...
160
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
154
click to vote
FSKD
2005
Springer
16 years 10 days ago
2005
Springer
A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually simila...
209
click to vote
APLAS
2004
ACM
16 years 7 days ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
168
click to vote
EMSOFT
2004
Springer
16 years 6 days ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...