Sciweavers

3108 search results - page 431 / 622
» The Elements of Computer Credibility
Sort
View
SAC
2010
ACM
15 years 11 months ago
An ontology-based semantic foundation for ARIS EPCs
This paper presents an ontological analysis of the EPC (Eventdriven Process Chain) business process modeling notation supported in the ARIS Toolset. This ontological analysis prov...
Paulo Sérgio Santos Jr., João Paulo ...
ICCV
2003
IEEE
15 years 11 months ago
Modeling Textured Motion : Particle, Wave and Sketch
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...
Yizhou Wang, Song Chun Zhu
ICDCS
2003
IEEE
15 years 11 months ago
Obstruction-Free Synchronization: Double-Ended Queues as an Example
We introduce obstruction-freedom, a new nonblocking property for shared data structure implementations. This property is strong enough to avoid the problems associated with locks,...
Maurice Herlihy, Victor Luchangco, Mark Moir
IPPS
2003
IEEE
15 years 11 months ago
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
Bernard Wong, Grzegorz Czajkowski, Laurent Dayn&eg...
TPCG
2003
IEEE
15 years 11 months ago
Guided Navigation in Task-Oriented 3D Graph Visualizations
In many application areas an optimal visualization of a complex graph depends on the specific task to be accomplished by the user. Therefore a means of locally customizable layou...
Guido Reina, Sven Lange-Last, Klaus D. Engel, Thom...