Sciweavers

3679 search results - page 610 / 736
» Answer set based design of knowledge systems
Sort
View
GLOBECOM
2006
IEEE
15 years 11 months ago
Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach
— This paper proposes a distributed optimization framework for wireless multihop sensor networks base on a game theoretic approach. We show that the cross-layer optimization prob...
Jun Yuan, Wei Yu
ADVIS
2006
Springer
15 years 11 months ago
Validation of XML Documents: From UML Models to XML Schemas and XSLT Stylesheets
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
15 years 10 months ago
Mining Complex Patterns from Protein Surfaces
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
Lorenzo Baldacci, Matteo Golfarelli
153
Voted
POPL
2005
ACM
15 years 10 months ago
Specifying Kerberos 5 cross-realm authentication
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov,...
ADC
2005
Springer
104views Database» more  ADC 2005»
15 years 10 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah