Sciweavers

2209 search results - page 171 / 442
» Language Based Secure Communication
Sort
View
FSTTCS
2005
Springer
15 years 10 months ago
Causal Closure for MSC Languages
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, V...
FLOPS
2006
Springer
15 years 8 months ago
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishn...
EDOC
2009
IEEE
15 years 7 months ago
A Goal-Oriented Requirements Modelling Language for Enterprise Architecture
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
Dick A. C. Quartel, Wilco Engelsman, Henk Jonkers,...
141
Voted
LREC
2010
196views Education» more  LREC 2010»
15 years 6 months ago
Composing Human and Machine Translation Services: Language Grid for Improving Localization Processes
With the development of the Internet environments, more and more language services become accessible for common people. However, the gap between human translators and machine tran...
Donghui Lin, Yoshiaki Murakami, Toru Ishida, Yohei...
ACSAC
2003
IEEE
15 years 9 months ago
S-ARP: a Secure Address Resolution Protocol
Tapping into the communication between two hosts on a LAN has become quite simple thanks to tools that can be downloaded from the Internet. Such tools use the Address Resolution P...
Danilo Bruschi, A. Ornaghi, Emilia Rosti