2111 search results - page 258 / 423 » How to Program Pervasive Systems |
141
Voted
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
156
Voted
SAS
1993
Springer
15 years 7 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
141
Voted
ENTCS
2008
15 years 3 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
126
Voted
IFIPTM
2010
15 years 2 months ago
2010
Abstract. Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progre...
113
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...