2849 search results - page 296 / 570 » As We Should Have Thought |
177
click to vote
PKC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Multivariate Cryptography has been an active line of research for almost twenty years. While most multivariate cryptosystems have been under attack, variations of the bas...
195
click to vote
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
162
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
175
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
Peer-to-peer based streaming has been a promising solution for large-scale video broadcasting over the Internet. In a peer-to-peer video streaming framework, peers cooperate with ...
153
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...