796 search results - page 105 / 160 » An Overview of Separation Logic |
104
Voted
CCECE
2006
IEEE
15 years 6 months 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...
87
Voted
EDOC
2006
IEEE
15 years 6 months 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...
113
click to vote
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
95
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
FSKD
2005
Springer
15 years 6 months 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...