Sciweavers

655 search results - page 105 / 131
» Model-Driven Software Migration
Sort
View
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
14 years 1 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
DEXAW
2002
IEEE
148views Database» more  DEXAW 2002»
14 years 28 days ago
STREAMOBILE: Pay-per-View Video Streaming to Mobile Devices Over the Internet
As new mobile communication technologies are becoming broadly available, there is urgent pressure to populate them with services that provide returns for the huge investements mad...
Josep Domingo-Ferrer, Antoni Martínez-Balle...
IPPS
2000
IEEE
14 years 10 days ago
A Requirements Analysis for Parallel KDD Systems
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
William Maniatty, Mohammed Javeed Zaki
HPDC
1999
IEEE
14 years 8 days ago
A Resource Description Environment for Distributed Computing Systems
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
Matthias Brune, Alexander Reinefeld, Jörg Var...
IPPS
1999
IEEE
14 years 7 days ago
System Support for Migratory Continuous Media
Abstract. In this paper, we propose system support for building adaptive migratory continuous media applications in distributed real-time environments. In future distributed comput...
Tatsuo Nakajima, Mamadou Tadiou Kone, Hiroyuki Aiz...