بر اساس عنوان
51
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic66
From quill pen to rocket science: the challenge and opportunities facing the finance industry today110
From regulation to deregulation in Chinese telecommunications market: A case survey of Xiaolingtong132
From requirements to deployment verify that the right things are done correctly the DECOS test bench150
From research to operations: integrating components with an aspect-oriented framework and ontology180
From ROS to unity: Leveraging robot and virtual environment middleware for immersive teleoperation187
From rule-based to statistical grammars: Continuous improvement of large-scale spoken dialog systems219
From SD to HD Television: Effects of H.264 Distortions Versus Display Size on Quality of Experience229
From self-aware building blocks to self-organizing systems with hierarchical agent-based adaptation230
From selfish nodes to cooperative networks - emergent link-based incentives in peer-to-peer networks238
From Sensing to Action: Quick and Reliable Access to Information in Cities Vulnerable to Heavy Rain310
From sipping on a straw to drinking from a fire hose: data integration in a public genome database326
From Smart Home to Smart Space in Independent Living: A Framework for Multiple Contexts Management399
From spreadsheets to simulations: a comparison of analysis methods for IC manufacturing performance424
From Static State Feedback Stabilization to Static Output Feedback Stabilization - A New Criterion443
From stopping light to all-optical signal processing; leveraging coherent light-matter interactions468
From super-poissonian to sub-poissonian through non-poissionian statistics within squeezed states496
From system-centric to data-centric logging - Accountability, trust & security in cloud computing500
From Systems to Plectics: the Challenge of Systemic Inquiry in Measurement, Modelling and Pedagogy509
From Task Graphs to Concrete Actions: A New Task Mapping Algorithm for the Future Internet of Things529
From Terminology to Evaluation: Performance Assessment of Automatic Signature Verification Systems555
From the Arcane to the Lucid: A Case Study of Improvements to a Library Database Using Visual Cues