Sciweavers

4987 search results - page 399 / 998
» Support Ordered Resolution
Sort
View
ICWS
2007
IEEE
15 years 8 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
OPODIS
2007
15 years 8 months ago
Making Distributed Applications Robust
We present a novel translation of systems that are tolerant of crash failures to systems that are tolerant of Byzantine failures in an asynchronous environment, making weaker assum...
Chi Ho, Danny Dolev, Robbert van Renesse
174
Voted
DBSEC
2006
107views Database» more  DBSEC 2006»
15 years 8 months ago
From Business Process Choreography to Authorization Policies
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
Philip Robinson, Florian Kerschbaum, Andreas Schaa...
DIMVA
2006
15 years 8 months ago
Detecting Self-mutating Malware Using Control-Flow Graph Matching
Next generation malware will by be characterized by the intense use of polymorphic and metamorphic techniques aimed at circumventing the current malware detectors, based on pattern...
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
IADIS
2004
15 years 8 months ago
National Center of Eco-Business Management CENABIO
This paper describes CENABIO - National Center of Eco-business Management, powered by an intelligent system to support eco-business (SISBIO). By using Artificial Intelligence and ...
Filipe Corrêa da Costa, Hugo Cesar Hoeschl, ...