Sciweavers

3763 search results - page 422 / 753
» Component-Based Software Engineering Processes
Sort
View
DEBS
2007
ACM
15 years 10 months ago
Architect's dream or developer's nightmare?
Architectural principles such as loose coupling are the key drivers behind the adoption of service-oriented architectures. Service-oriented architectures promote concepts such as c...
Gregor Hohpe
AMAST
1995
Springer
15 years 10 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
EUROMICRO
2007
IEEE
15 years 8 months ago
Analysis of BPEL Data Dependencies
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
Yongyan Zheng, Jiong Zhou, Paul Krause
FOSSACS
2008
Springer
15 years 8 months ago
Compositional Methods for Information-Hiding
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
Christelle Braun, Konstantinos Chatzikokolakis, Ca...
COMPSAC
2009
IEEE
16 years 1 months ago
Penetration Testing for Spam Filters
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
Yugesh Madhavan, João W. Cangussu, Ram Dant...