2607 search results - page 506 / 522 » On the Architecture of System Verification Environments |
IUI
2005
ACM
14 years 27 days ago
2005
ACM
In this paper, we present our efforts towards creating interfaces for networked media exploration and collaborative annotation. The problem is important since online social networ...
MSWIM
2005
ACM
14 years 27 days ago
2005
ACM
Wireless sensor networks (WSNs) have many potential applications. Furthermore, in many scenarios WSNs are of interest to adversaries and they become susceptible to some types of a...
FMCO
2003
Springer
14 years 16 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
COMGEO
2010
ACM
14 years 4 days ago
2010
ACM
Many producers of geographic information are now disseminating their data using open web service protocols, notably those published by the Open Geospatial Consortium. There are ma...
SAC
2009
ACM
13 years 12 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...