2209 search results - page 339 / 442 » Language Based Secure Communication |
225
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
108
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
152
Voted
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The JavaScript language is used to enhance the clientside display of web pages. JavaScript code is downloaded into browsers and executed on-the-fly by an embedded interpreter. Br...
121
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Although dynamic program slicing was first introduced to aid in user level debugging, applications aimed at improving software quality, reliability, security, and performance hav...
149
Voted
SWS
2004
ACM
15 years 8 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...