Sciweavers

2209 search results - page 75 / 442
» Language Based Secure Communication
Sort
View
SPC
2005
Springer
15 years 8 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
118
Voted
WINET
2002
138views more  WINET 2002»
15 years 2 months ago
An Architecture for Secure Wide-Area Service Discovery
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
Todd D. Hodes, Steven E. Czerwinski, Ben Y. Zhao, ...
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 12 months ago
Communication model of emuStudio emulation platform
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
Peter Jakubco, Slavomír Simonák, Nor...
ULPAA
1994
120views Hardware» more  ULPAA 1994»
15 years 3 months ago
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
Nathaniel S. Borenstein
105
Voted
OOPSLA
2010
Springer
15 years 28 days ago
Ficticious: MicroLanguages for interactive fiction
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
James Dean Palmer