Sciweavers

4007 search results - page 558 / 802
» Automotive Software Integration
Sort
View
SEUS
2010
IEEE
15 years 4 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei
SIGMOD
2010
ACM
166views Database» more  SIGMOD 2010»
15 years 4 months ago
Efficient two-sided error-tolerant search
We consider fast two-sided error-tolerant search that is robust against errors both on the query side (type alogrithm, find documents with algorithm) as well as on the document si...
Hannah Bast, Marjan Celikik
TRIDENTCOM
2010
IEEE
15 years 4 months ago
Framework for IMS Service Scenario Implementation
This paper presents an experimental framework for implementation of an IMS/NGN reference service scenario by means of open source software. Multiple service enablers are deployed t...
Andrey Krendzel, Jawad Hussain, Josep Mangues-Bafa...
EDM
2009
179views Data Mining» more  EDM 2009»
15 years 4 months ago
Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models
This paper describes a novel method to create a quantitative model of an educational content domain of related practice item-types using learning curves. By using a pairwise test t...
Philip I. Pavlik Jr., Hao Cen, Kenneth R. Koedinge...
GCA
2009
15 years 4 months ago
Enhancing Grid Security Using Workflows, Trusted Computing and Virtualisation
This paper highlights the need to meet both Grid user and resource provider security requirements, describing the rationale for securing Grid workflows: a set of tasks arranged int...
Po-Wah Yau, Allan Tomlinson