6953 search results - page 1120 / 1391 » Development Tools for Distributed Applications |
192
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
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...
172
click to vote
TVCG
2012
13 years 9 months ago
2012
Abstract—We have developed an intuitive method to semi-automatically explore volumetric data in a focus-region-guided or valuedriven way using a user defined ray through the 3D ...
151
click to vote
TVCG
2012
13 years 9 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
167
click to vote
APCSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
173
click to vote
ER
1997
Springer
15 years 10 months ago
1997
Springer
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...