4424 search results - page 837 / 885 » Semantic virtual environments |
169
Voted
FP
1992
15 years 8 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
170
click to vote
SMA
1993
ACM
15 years 8 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
191
Voted
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
The move towards integrated international Digital Libraries offers the opportunity of creating comprehensive data on citation networks. These data are not only invaluable pointers ...
176
Voted
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
169
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...