Sciweavers

1624 search results - page 134 / 325
» Modelling Variability for System Families
Sort
View
BIRTHDAY
2003
Springer
15 years 7 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
GEOINFO
2004
15 years 4 months ago
Spatio-Temporal Database Constraints for Spatial Dynamic Simulation
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
Bianca Maria Pedrosa, Luiz Camolesi Jr., Gilberto ...
120
Voted
FORMATS
2009
Springer
15 years 10 months ago
On the Supports of Recognizable Timed Series
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
Karin Quaas
RT
1997
Springer
15 years 7 months ago
Reconstructing the Visual Field of Compound Eyes
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
Steven Collins
SODA
2004
ACM
98views Algorithms» more  SODA 2004»
15 years 4 months ago
End-to-end packet-scheduling in wireless ad-hoc networks
Abstract Packet-scheduling is a particular challenge in wireless networks due to interference from nearby transmissions. A distance-2 interference model serves as a useful abstract...
V. S. Anil Kumar, Madhav V. Marathe, Srinivasan Pa...