8874 search results - page 286 / 1775 » A New Implementation of Automath |
152
click to vote
WIKIS
2005
ACM
16 years 8 days ago
2005
ACM
Wikis are often implemented using string-based approaches to parse and generate their pages. While such approaches work well for simple wikis, they hamper the customization and ad...
173
click to vote
ADC
2005
Springer
16 years 8 days ago
2005
Springer
The challenges of wireless and mobile computing environments have attracted the attention of researchers to revisit the conventional implementation of distributed computing paradi...
161
click to vote
SEMWEB
2005
Springer
16 years 5 days ago
2005
Springer
The integration of heterogenous data sources is a crucial step for the upcoming semantic web – if existing information is not integrated, where will the data come from that the s...
166
click to vote
SPW
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We implement and demonstrate a passive attack on the Bluetooth authentication protocol used to connect two devices to each other. Using a protocol analyzer and a brute-fo...
156
click to vote
FATES
2004
Springer
16 years 3 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...