Sciweavers

2556 search results - page 466 / 512
» The Triconnected Abstraction of Process Models
Sort
View
PST
2004
15 years 3 months ago
Familiarity and Trust: Measuring Familiarity with a Web Site
Abstract-- This work aims at measuring familiarity to contribute to the formalization of trust. Trust has always been bundled with familiarity to become a popular topic in the area...
Jie Zhang, Ali A. Ghorbani
SPLC
2004
15 years 3 months ago
A Feature-Based Approach to Product Line Production Planning
Abstract. A production plan, which describes how core assets are used to develop products, has an important role in product line engineering as a communication medium between core ...
Jaejoon Lee, Kyo Chul Kang, Sajoong Kim
NAACL
2003
15 years 3 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 3 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
FMICS
2010
Springer
15 years 3 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre