Sciweavers

275 search results - page 19 / 55
» Delimited dynamic binding
Sort
View
ETFA
2005
IEEE
14 years 1 months ago
Dynamic guarantee in component-based distributed real-time systems
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Cássia Yuri Tatibana, Rômulo Silva de...
ENTCS
2006
114views more  ENTCS 2006»
13 years 7 months ago
Run-Time Checking of Dynamic Properties
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
PERCOM
2004
ACM
14 years 7 months ago
Dynamic Federation of Partitioned Applications in Ubiquitous Computing Environments
A framework for the dynamic aggregation of ubiquitous computers is presented. The framework aggregates applications from more than one mobile component that can migrate from compu...
Ichiro Satoh
JISE
2010
110views more  JISE 2010»
13 years 2 months ago
SOA-based Service Layering for Facilitating Dynamic Service Composition and Alternative Service Discovery
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
Meeyeon Lee, Jung-Won Lee, Seung Soo Park, We-Duke...
CDES
2006
89views Hardware» more  CDES 2006»
13 years 9 months ago
Autonomous Instruction Memory Equipped with Dynamic Branch Handling Capability
Memory accesses have always been a speed-limiting factor, and memory bandwidth has always been an intensively contended scarce resource. Nevertheless, with recent pervasive emergen...
Hui-Chin Yang, Chung-Ping Chung