2,907 research outputs found
Developing a distributed electronic health-record store for India
The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems
Critical and cyber-physical systems (CPS) that exist in large industries,
such as nuclear power plants, railway, automotive or aeronautical industries
are complex heterogeneous systems. They are complex because they are open,
perimeter-less, often built by assembling various heterogeneous and interacting
components which are frequently reconfigured due to requirements. Consequently,
the modeling and analysis of such systems is a challenge in software
engineering. We introduce a new method for modeling and verifying heterogeneous
systems. The method consists in: equipping individual components with
generalized contract, ordering these contracts according to given facets,
composing these components and verifying the resulting system with respect to
the facets. We illustrate the use of the method by a case study. The proposed
method may be extended to cover more facets, and by strengthening assistance
tool through proactive aspects in modelling and property verification
Infraestructura tecnolĂłgica de servicios semĂĄnticos para la Web SemĂĄntica
This project aims at creating a network of distributed interoperable semantic services for
building more complex ones. These services will be available in semantic Web service
libraries, so that they can be invoked by other systems (e.g., semantic portals, software
agents, etc.). Thus, to accomplish this objective, the project proposes:
a) To create specific technology for developing and composing Semantic Web Services.
b) To migrate the WebODE ontology development workbench to this new distributed
interoperable semantic service architecture.
c) To develop new semantic services (ontology learning, ontology mappings,
incremental ontology evaluation, and ontology evolution).
d) To develop technological support that eases semantic portal interoperability, using
Web services and Semantic Web Services.
The project results will be open source, so as to improve their technological transfer. The
quality of these results is ensured by a benchmarking process.
Keywords: Ontologies and Semantic We
Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)
The goal of the DSLDI workshop is to bring together researchers and
practitioners interested in sharing ideas on how DSLs should be designed,
implemented, supported by tools, and applied in realistic application contexts.
We are both interested in discovering how already known domains such as graph
processing or machine learning can be best supported by DSLs, but also in
exploring new domains that could be targeted by DSLs. More generally, we are
interested in building a community that can drive forward the development of
modern DSLs. These informal post-proceedings contain the submitted talk
abstracts to the 3rd DSLDI workshop (DSLDI'15), and a summary of the panel
discussion on Language Composition
Proceedings of the 11th Overture Workshop
The 11th Overture Workshop was held in Aarhus, Denmark on Wed/Thu 28â29th Au- gust 2013. It was the 11th workshop in the current series focusing on the Vienna De- velopment Method (VDM) and particularly its community-based tools development project, Overture (http://www.overturetool.org/), and related projects such as COMPASS(http://www.compass-research.eu/) and DESTECS (http://www.destecs.org). Invited talks were given by Yves Ledru and Joe Kiniry. The workshop attracted 25 participants representing 10 nationalities. The goal of the workshop was to provide a forum to present new ideas, to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. The Overture initiative held its first workshop at FMâ05. Workshops were held subsequently at FMâ06, FMâ08 and FMâ09, FMâ11, FMâ12 and in between
Center of Excellence in Space Data and Information Science, Year 9
This report summarizes the range of computer science related activities undertaken by CESDIS(Center of Excellence in Space Data and Information Sciences) for NASA in the twelve months from July 1, 1996 through June 30, 1997. These activities address issues related to accessing, processing, and analyzing data from space observing systems through collaborative efforts with university, industry, and NASA space and Earth scientists
A vision of cyber-physical internet
When the Internet was born, the purpose was to
interconnect computers to share digital data at large-scale. On
the other hand, when embedded systems were born, the objective
was to control system components under real-time constraints
through sensing devices, typically at small to medium scales.
With the great evolution of the Information and Communication
Technology (ICT), the tendency is to enable ubiquitous and
pervasive computing to control everything (physical processes
and physical objects) anytime and at a large-scale. This new
vision gave recently rise to the paradigm of Cyber-Physical
Systems (CPS). In this position paper, we provide a realistic
vision to the concept of the Cyber-Physical Internet (CPI),
discuss its design requirements and present the limitations of
the current networking abstractions to fulfill these requirements.
We also debate whether it is more productive to adopt a
system integration approach or a radical design approach for
building large-scale CPS. Finally, we present a sample of realtime
challenges that must be considered in the design of the
Cyber-Physical Internet
- âŠ