Sciweavers

5477 search results - page 696 / 1096
» Contexts, Domains, and Software
Sort
View
ATAL
2009
Springer
15 years 8 months ago
Towards a Logical Model of Social Agreement for Agent Societies
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
Emiliano Lorini, Mario Verdicchio
BIS
2009
192views Business» more  BIS 2009»
15 years 8 months ago
Advanced Social Features in a Recommendation System for Process Modeling
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
CLEF
2009
Springer
15 years 8 months ago
TALP at GikiCLEF 2009
This paper describes our experiments in Geographical Information Retrieval with the Wikipedia collection in the context of our participation in the GikiCLEF 2009 Multilingual task...
Daniel Ferrés, Horacio Rodríguez
ESORICS
2010
Springer
15 years 8 months ago
Election Verifiability in Electronic Voting Protocols
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
Steve Kremer, Mark Ryan, Ben Smyth
CORR
2010
Springer
171views Education» more  CORR 2010»
15 years 7 months ago
An Object-Oriented Metamodel for Bunge-Wand-Weber Ontology
A UML based metamodel for Bunge-Wand-Weber (BWW) ontology is presented. BWW ontology is a generic framework for analysis and conceptualization of real world objects. It includes c...
Arvind W. Kiwelekar, Rushikesh K. Joshi