2227 search results - page 229 / 446 » Reversibility and Models for Concurrency |
119
click to vote
FUIN
2002
15 years 12 days ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
95
Voted
IPL
2010
14 years 11 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
109
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
109
Voted
VRST
2000
ACM
15 years 5 months ago
2000
ACM
This paper introduces web-based 3D media information system. We first address two promising 3D modeling techniques, i.e., image-based 3D modeling and laser scanning based 3D model...
184
click to vote
ICDE
1996
IEEE
16 years 2 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...