Sciweavers

9873 search results - page 1881 / 1975
» Emergent Semantics Systems
Sort
View
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
13 years 8 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
IJAOSE
2010
227views more  IJAOSE 2010»
13 years 8 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
IPMU
2010
Springer
13 years 8 months ago
Retrieving Texture Images Using Coarseness Fuzzy Partitions
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
Jesús Chamorro-Martínez, Pedro Manue...
SAC
2008
ACM
13 years 8 months ago
Enhancing web service selection by QoS-based ontology and WS-policy
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
Sodki Chaari, Youakim Badr, Frédériq...
SP
2008
IEEE
132views Security Privacy» more  SP 2008»
13 years 8 months ago
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
Michael Backes, Matteo Maffei, Dominique Unruh
« Prev « First page 1881 / 1975 Last » Next »