5377 search results - page 26 / 1076 » Programming Languages For Interactive Computing |
130
Voted
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
135
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
216
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
164
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
96
Voted
ICALP
2001
Springer
15 years 8 months ago
2001
Springer