Sciweavers

682 search results - page 75 / 137
» Environment Matting and Compositing
Sort
View
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 9 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
MOBIDE
2003
ACM
15 years 9 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis
121
Voted
EDOC
1997
IEEE
15 years 8 months ago
Interactive Configuration Management for Distributed Object Systems
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
Halldor Fosså, Morris Sloman
155
Voted
SOFSEM
2012
Springer
13 years 11 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
MOBICOM
2009
ACM
15 years 10 months ago
Optimal beam scheduling for multicasting in wireless networks
We consider the problem of efficient link-layer multicasting in wireless networks with switched beamforming antennas. The inherent tradeoff between multicasting and beamforming ...
Karthikeyan Sundaresan, Kishore Ramachandran, Samp...