2421 search results - page 341 / 485 » Message from the Editor-in-Chief |
FSEN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
ICWE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
ISW
2009
Springer
14 years 4 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
IWSOS
2009
Springer
14 years 4 months ago
2009
Springer
The Internet consists of a constantly evolving complex hierarchical architecture where routers are grouped into autonomous systems (ASes) that interconnect to provide global connec...
ACSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Mashups are new Web 2.0 applications that seamlessly combine contents from multiple heterogeneous data sources into one integrated browser environment. The hallmark of these appli...