Sciweavers

1776 search results - page 48 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
MT
2002
76views more  MT 2002»
14 years 11 months ago
Embedding Knowledge Elicitation and MT Systems within a Single Architecture
This paper describes Expedition, an environment designed to facilitate the quick ramp-up of MT systems from practically any alphabetic language (L) into English. The central compon...
Marjorie McShane, Sergei Nirenburg, James R. Cowie...
IPPS
2002
IEEE
15 years 4 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
DSN
2004
IEEE
15 years 3 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
MATA
2004
Springer
199views Communications» more  MATA 2004»
15 years 5 months ago
Configuration Management for Networked Reconfigurable Embedded Devices
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
Timothy O'Sullivan, Richard Studdert
WSC
1998
15 years 1 months ago
Visual Simulation Environment
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
Osman Balci, Anders I. Bertelrud, Chuck M. Esterbr...