9412 search results - page 1535 / 1883 » An aspect-oriented generative approach |
176
click to vote
SUTC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—A prominent application of Wireless Sensor Networks is the monitoring of physical phenomena. The value of the monitored attributes naturally depends on the accuracy of t...
167
click to vote
GRID
2007
Springer
15 years 10 months ago
2007
Springer
Utility Grids create an infrastructure for enabling users to consume services transparently over a global network. When optimizing workflow execution on utility Grids, we need to c...
184
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
223
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the recent advances in microfluidics, digital microfluidic biochips are expected to revolutionize laboratory procedures. One critical problem for biochip synthesis is the dr...
196
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...