9443 search results - page 1457 / 1889 » Web-centric language models |
176
click to vote
SAC
2004
ACM
16 years 9 days ago
2004
ACM
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
152
click to vote
IFIP
2004
Springer
16 years 8 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
160
click to vote
RTA
2004
Springer
16 years 7 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
160
click to vote
TACAS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
187
click to vote
HAPTICS
2003
IEEE
16 years 5 days ago
2003
IEEE
As haptic technology becomes more developed, the potential applications for three-dimensional haptic content online become more and more numerous. However, the proliferation of su...