1357 search results - page 124 / 272 » Compositionality in Graph Transformation |
143
Voted
ICIP
2008
IEEE
15 years 10 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...
126
click to vote
ICC
2007
IEEE
15 years 10 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...
113
Voted
CSFW
2006
IEEE
15 years 9 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...
121
Voted
GPCE
2005
Springer
15 years 9 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...
160
click to vote
RTCSA
1997
IEEE
15 years 7 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...