1206 search results - page 179 / 242 » Concurrent Abstract Predicates |
120
click to vote
WISE
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
100
Voted
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
97
Voted
JAVA
1999
Springer
15 years 4 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
110
click to vote
HPCN
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
119
click to vote
IFL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...