1925 search results - page 42 / 385 » Dynamic Typing |
HICSS
2002
IEEE
14 years 19 days ago
2002
IEEE
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
VEE
2012
ACM
12 years 3 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
CCS
1999
ACM
13 years 12 months ago
1999
ACM
We present a novel approach to improving the security of passwords. In our approach, the legitimate user’s typing patterns (e.g., durations of keystrokes and latencies between ke...