Sciweavers

3381 search results - page 361 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
WWW
2005
ACM
16 years 7 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari
SPIN
2007
Springer
16 years 24 days ago
SAT-Based Summarization for Boolean Programs
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
Gérard Basler, Daniel Kroening, Georg Weiss...
213
Voted
ANSS
1997
IEEE
15 years 11 months ago
Analytical Simulation for Performance Analysis of Distributed Virtual Reality Systems
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
Shaun Bangay, Peter Clayton, David A. Sewry
CIMAGING
2010
195views Hardware» more  CIMAGING 2010»
15 years 8 months ago
SPIRAL out of convexity: sparsity-regularized algorithms for photon-limited imaging
The observations in many applications consist of counts of discrete events, such as photons hitting a detector, which cannot be effectively modeled using an additive bounded or Ga...
Zachary T. Harmany, Roummel F. Marcia, Rebecca Wil...
ECWEB
2009
Springer
112views ECommerce» more  ECWEB 2009»
16 years 1 months ago
Towards Privacy Compliant and Anytime Recommender Systems
Abstract. Recommendation technologies have traditionally been used in domains such as E-commerce and Web navigation to recommend resources to customers so as to help them to get th...
Armelle Brun, Anne Boyer