Sciweavers

850 search results - page 42 / 170
» Globalization and Offshoring of Software
Sort
View
ECRTS
2000
IEEE
15 years 2 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
COMPSAC
2002
IEEE
15 years 2 months ago
The Architecture of a Dynamically Updatable, Component-Based System
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
Robert Pawel Bialek
SIGECOM
2003
ACM
174views ECommerce» more  SIGECOM 2003»
15 years 3 months ago
Collaboration software to reduce inventory and increase response
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
Indu Bingham, Barbara Hoefle, Kim Phan, Jim Sizemo...
FSTTCS
2001
Springer
15 years 2 months ago
Properties of Distributed Timed-Arc Petri Nets
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
Mogens Nielsen, Vladimiro Sassone, Jirí Srb...
AMTA
1998
Springer
15 years 2 months ago
TransEasy: A Chinese-English Machine Translation System Based on Hybrid Approach
This paper describes the progress of a machine translation system from Chinese to English. The system is based on a reusable platform of MT software components. It's a rule-ba...
Qun Liu, Shiwen Yu