Sciweavers

396 search results - page 75 / 80
» Crossing Numbers
Sort
View
XMLSEC
2003
ACM
14 years 18 days ago
An access control framework for business processes for web services
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
Hristo Koshutanski, Fabio Massacci
RTCSA
1999
IEEE
13 years 11 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
VDA
2010
247views Visualization» more  VDA 2010»
13 years 9 months ago
Flow Web: a graph based user interface for 3D flow field exploration
While there have been intensive efforts in developing better 3D flow visualization techniques, little attention has been paid to the design of better user interfaces and more effe...
Lijie Xu, Han-Wei Shen
WSC
2008
13 years 9 months ago
Introducing age-based parameters into simulations of crowd dymanics
Very few crowds consist of individuals who are exactly the same. Defining variables, such as age, and how they affect an individual's movement, could increase realism in simu...
D. J. Kaup, Thomas L. Clarke, Rex Oleson, Linda C....
IWEC
2007
13 years 8 months ago
Multi-track Scratch Player on a Multi-touch Sensing Device
Scratching with turntables is a popular sound generation technique in today’s music scene, especially in hip-hop culture. A conventional turntable system consists of two turntabl...
Kentaro Fukuchi