3394 search results - page 112 / 679 » Regular Object Types |
115
click to vote
PODC
1999
ACM
15 years 5 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
DEBU
2002
15 years 16 days ago
2002
The domain of spatiotemporal applications is a treasure trove of new types of data and queries. In this work, the focus is on a spatiotemporal sub-domain, namely the trajectories ...
134
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
133
Voted
INFORMATICALT
2010
14 years 10 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
105
Voted
SCP
2002
15 years 11 days ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...