4408 search results - page 688 / 882 » Developing Web Applications from Conceptual Models |
194
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
157
click to vote
INFOVIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we demonstrate how we applied information visualization techniques to process monitoring. Virtual instruments are enhanced using history encoding – instruments are...
202
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Middleware support for pervasive context-aware systems relieves context-aware applications from dealing with the complexity of context-specific operations such as context acquisit...
169
click to vote
ICRA
2008
IEEE
16 years 28 days ago
2008
IEEE
— Over the last few years, the complexity of aquatic sensing applications has increased as a result of demands for: higher spatial coverage with high resolution monitoring, under...
148
click to vote
HPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
Divisible workload applications arise in many fields of science and engineering. They can be parallelized in master-worker fashion and relevant scheduling strategies have been pr...