Sciweavers

1713 search results - page 179 / 343
» On the Importance of Being Quantum
Sort
View
SAC
2003
ACM
15 years 3 months ago
Validation of Code-Improving Transformations for Embedded Systems
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
Robert van Engelen, David B. Whalley, Xin Yuan
81
Voted
WS
2003
ACM
15 years 3 months ago
On securely enabling intermediary-based services and performance enhancements for wireless mobile users
Intermediary-based services and performance optimizations are increasingly being considered, by network service providers, with a view towards offering value-added services and i...
Sneha Kumar Kasera, Semyon Mizikovsky, Ganapathy S...
111
Voted
ADC
2003
Springer
139views Database» more  ADC 2003»
15 years 3 months ago
Deriving Relation Keys from XML Keys
Much work on XML data was around storage and querying and did not consider constraints of XML, especially keys. Since constraints have been proposed in many papers for XML, much r...
Qing Wang, Hongwei Wu, Jianchang Xiao, Aoying Zhou...
92
Voted
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 3 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
CIA
2003
Springer
15 years 3 months ago
GraniteNights - A Multi-agent Visit Scheduler Utilising Semantic Web Technology
This paper describes a multi-agent system, GraniteNights, modelled on the Agentcities project “evening agent” scenario. GraniteNights allows a user to plan an evening’s enter...
Gunnar Aastrand Grimnes, Stuart Chalmers, Peter Ed...