5550 search results - page 84 / 1110 » Different Approaches to Proof Systems |
168
Voted
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
171
click to vote
CIIA
2009
15 years 7 months ago
2009
Because biometrics-based authentication offers several advantages face to other authentication methods, it is important that such systems be designed to withstand attacks. Reliabil...
140
click to vote
ESWS
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
163
click to vote
BPM
2004
Springer
15 years 11 months ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
170
click to vote
SRDS
2008
IEEE
16 years 19 days ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...