5182 search results - page 803 / 1037 » COTS-Based Requirements Engineering |
166
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
176
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
169
click to vote
DAWAK
2007
Springer
16 years 22 days ago
2007
Springer
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
159
click to vote
DCOSS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce a class of anchoritic sensor networks, where communications between sensor nodes are undesirable or infeasible due to, e.g., harsh environments, energy constraints, or...
139
click to vote
DNA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...