Sciweavers

10802 search results - page 1773 / 2161
» Generative and developmental systems
Sort
View
IV
2005
IEEE
134views Visualization» more  IV 2005»
16 years 12 days ago
Automatic Layout of Project Plans Using a Metro Map Metaphor
In this paper we describe a tool to improve interfunctional communication of project plans by displaying them as a metro map. Our tool automatically lays out plans using a multicr...
Jonathan M. Stott, Peter Rodgers, Remo Aslak Burkh...
LAWEB
2005
IEEE
16 years 12 days ago
Devices Descriptions for Context-Based Content Adaptation
Nowadays, networks can be accessed by multiple devices with different characteristics. Some of these characteristics such as low processing power and memory capacity restrict the ...
Robson Eisinger, Marcelo G. Manzato, Rudinei Goula...
LICS
2005
IEEE
16 years 12 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
RTCSA
2005
IEEE
16 years 12 days ago
Scheduling Support for Guaranteed Time Services in IEEE 802.15.4 Low Rate WPAN
We propose a real-time message scheduling algorithm which is applied to schedule periodic realtime messages in IEEE 802.15.4 for LR-WPAN(Low Rate Wireless Personal Area Network). ...
Seongeun Yoo, Daeyoung Kim, Minh-Long Pham, Yoonme...
SBACPAD
2005
IEEE
110views Hardware» more  SBACPAD 2005»
16 years 12 days ago
Portable checkpointing and communication for BSP applications on dynamic heterogeneous Grid environments
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
Raphael Y. de Camargo, Fabio Kon, Alfredo Goldman
« Prev « First page 1773 / 2161 Last » Next »