13397 search results - page 405 / 2680 » From Static Distributed Systems to Dynamic Systems |
122
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
139
Voted
KIVS
1997
Springer
15 years 9 months ago
1997
Springer
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
180
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
136
click to vote
SEKE
1994
Springer
15 years 9 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
138
click to vote
IFIP13
2004
15 years 6 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...