4604 search results - page 531 / 921 » Concurrency in Synchronous Systems |
164
click to vote
ICADL
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...
174
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...
189
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
The main function of a continuous media server is to concurrently stream data from storage to multiple clients over a network. The resulting streams will congest the host CPU bus,...
189
click to vote
ASIAN
1998
Springer
15 years 11 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
177
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...