811 search results - page 116 / 163 » Integrating Formal Description Techniques |
107
click to vote
EUROMED
2010
14 years 10 months ago
2010
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need ...
115
click to vote
MATES
2004
Springer
15 years 5 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
101
click to vote
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
111
click to vote
FSKD
2010
Springer
15 years 27 days ago
2010
Springer
Abstract--Worldwide health scientists are producing, accessing, analyzing, integrating, and storing massive amounts of digital medical data daily, through observation, experimentat...