12774 search results - page 2252 / 2555 » A Framework for Proof Systems |
169
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
171
click to vote
ICES
2005
Springer
16 years 8 days ago
2005
Springer
Evolvable Hardware arises as a promising solution for automatic digital synthesis of digital and analog circuits. During the last decade, a special interest has been focused on evo...
194
click to vote
ICESS
2005
Springer
16 years 8 days ago
2005
Springer
Since IPv6 has more benefits over IPv4, the development and deployment of the IPv6 protocol-based products are currently taking place and the migration of IPv4 to IPv6 has also be...
177
click to vote
ICIAR
2005
Springer
16 years 8 days ago
2005
Springer
A neglected challenge in existing e-Learning (eL) systems is providing access to multimedia to all users regardless of environmental conditions such as diverse device capabilities,...
199
click to vote
ICWE
2005
Springer
16 years 8 days ago
2005
Springer
Bulletin Board Systems (BBS), similar to blogs, newsgroups, online forums, etc., are online broadcasting spaces where people can exchange ideas and make announcements. As BBS are b...