Sciweavers

1609 search results - page 243 / 322
» Generating Application Development Environments for Java Fra...
Sort
View
122
Voted
ICFP
2007
ACM
16 years 2 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...
IEEEICCI
2002
IEEE
15 years 7 months ago
An Interaction-Based Approach for Structuring Coordination Activities
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
Lars Taxén
EDBT
2009
ACM
137views Database» more  EDBT 2009»
15 years 1 days ago
Flexible and scalable storage management for data-intensive stream processing
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
Irina Botan, Gustavo Alonso, Peter M. Fischer, Don...
CL
2008
Springer
15 years 2 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
95
Voted
ICC
2007
IEEE
132views Communications» more  ICC 2007»
15 years 8 months ago
On the Accuracy of an Indoor Location-sensing Technique Suitable for Impulse Radio Networks
An impulse radio indoor mapping and positioning technique has been proposed. This technique enables impulse radios to use the times of arrival (TOAs) of dominant echoes from the su...
Wenyu Guo, Nicholas P. Filer