5096 search results - page 173 / 1020 » Associations as a Language Construct |
182
click to vote
LCPC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...
162
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
179
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
184
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
155
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...