1357 search results - page 124 / 272 » Compositionality in Graph Transformation |
221
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we show how to estimate, accurately and efficiently, the 3D motion of a rigid or non-rigid object, and time-varying lighting in a dynamic scene. This is achieved i...
198
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...
164
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
179
click to vote
GPCE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
236
click to vote
RTCSA
1997
IEEE
15 years 11 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...