Sciweavers

1829 search results - page 252 / 366
» Towards Validation of Requirements Models
Sort
View
SCN
2010
Springer
116views Communications» more  SCN 2010»
15 years 5 months ago
Provably Secure Convertible Undeniable Signatures with Unambiguity
Abstract. This paper shows some efficient and provably-secure convertible undeniable signature schemes (with both selective conversion and all conversion), in the standard model an...
Le Trieu Phong, Kaoru Kurosawa, Wakaha Ogata
VR
2010
IEEE
135views Virtual Reality» more  VR 2010»
15 years 5 months ago
Sound synthesis and evaluation of interactive footsteps for virtual reality applications
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
Rolf Nordahl, Stefania Serafin, Luca Turchet
JCIT
2010
115views more  JCIT 2010»
15 years 1 months ago
Metadata Version Management for DW 2, 0 Environment
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...
Ding Pan
208
Voted
WOWMOM
2005
ACM
135views Multimedia» more  WOWMOM 2005»
16 years 6 days ago
Service Discovery in Mobile Ad Hoc Networks: A Field Theoretic Approach
Service discovery in mobile ad hoc networks is challenging because of the absence of any central intelligence in the network. Traditional solutions as used in the Internet are hen...
Vincent Lenders, Martin May, Bernhard Plattner
KBSE
2007
IEEE
16 years 28 days ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...