Sciweavers

533 search results - page 36 / 107
» Verification of Distributed Firewalls
Sort
View
COLCOM
2008
IEEE
13 years 11 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
EDOC
2004
IEEE
14 years 1 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
ICSE
2005
IEEE-ACM
14 years 10 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
ICPR
2006
IEEE
14 years 11 months ago
An Illumination Insensitive Representation for Face Verification in the Frequency Domain
We present a comparison of several face representation methods from the point of view of their sensitivity to illumination changes. The sensitivity is measured in terms of the ove...
Eduardo Garea Llano, Heydi Mendez Vazquez, Josef K...
COOPIS
2004
IEEE
14 years 1 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...