756 search results - page 114 / 152 » Using Architecture Models to Support the Generation and Oper... |
HCI
2009
13 years 5 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
LOCA
2005
Springer
14 years 1 months ago
2005
Springer
Today, most mobile applications use geo-referenced points of interest (POIs) on location-based maps to call the user’s attention to interesting spots in the surroundings. The pre...
JSAC
2006
13 years 7 months ago
2006
4G systems are expected to support data rates of the order of 100 Mbps in the outdoor environment and 1 Gbps in the indoor/stationary environment. In order to support such large p...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
SAT
2009
Springer
14 years 2 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...