2687 search results - page 221 / 538 » Formal Analysis of PKCS |
183
click to vote
DASFAA
2007
IEEE
16 years 29 days ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
161
click to vote
APSEC
2006
IEEE
16 years 21 days ago
2006
IEEE
In many software development projects, people tend to repeat same mistakes due to lack of shared knowledge from past experiences. Generally, it is very difficult to manually find ...
165
click to vote
WCRE
2006
IEEE
16 years 19 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
145
click to vote
ICDCSW
2005
IEEE
16 years 7 days ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
175
click to vote
AOSE
2005
Springer
16 years 5 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...