7921 search results - page 702 / 1585 » Process Modeling in Web Applications |
215
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
202
click to vote
PLDI
2010
ACM
16 years 6 days ago
2010
ACM
Energy-efficient computing is important in several systems ranging from embedded devices to large scale data centers. Several application domains offer the opportunity to tradeof...
254
click to vote
CG
2004
Springer
15 years 7 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
236
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
Web search logs contain extremely sensitive data, as evidenced by the recent AOL incident. However, storing and analyzing search logs can be very useful for many purposes (i.e. in...
200
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We present an improved statistical model of Poisson processes, with applications in photon-limited imaging. We build on previous work, adopting a multiscale representation of the ...