Sciweavers

10263 search results - page 86 / 2053
» From Use Cases to System Operation Specifications
Sort
View
DAIS
2003
14 years 11 months ago
A Variable Cache Consistency Protocol for Mobile Systems Using Time Locks
Abstract. By locally caching data, mobile hosts can operate while disconnected from the central server, however, consistency of data becomes more difficult to maintain. In this pap...
Abhinav Vora, Zahir Tari, Peter Bertók
EUROMICRO
1999
IEEE
15 years 2 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
DSN
2004
IEEE
15 years 1 months ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
COMSWARE
2006
IEEE
15 years 3 months ago
Case study on the use of SDL for specifying an IETF micro mobility protocol
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
FLAIRS
2000
14 years 11 months ago
Domain-Specific Knowledge Acquisition and Classification Using WordNet
For manyknowledgeintensive applications, it is necessary to have extensive domain-specific knowledgein addition to general-purpose knowledge bases usually built around MachineRead...
Dan I. Moldovan, Roxana Girju