2139 search results - page 91 / 428 » Connecting language to the world |
153
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
193
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
176
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. An important aspect of discourse understanding and generation involves the recognition and processing of discourse relations. These are conveyed by discourse connectives,...
174
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
170
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
Development in Wireless LAN and Cellular technologies has motivated recent efforts to integrate the two. This creates new application scenarios that were not possible before. Veh...