Sciweavers

3387 search results - page 518 / 678
» Automating the Metamodeling Process
Sort
View
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
16 years 1 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
FMICS
2009
Springer
16 years 1 months ago
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
David Delmas, Eric Goubault, Sylvie Putot, Jean So...
MKM
2009
Springer
16 years 29 days ago
From Tessellations to Table Interpretation
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
Ramana C. Jandhyala, Mukkai S. Krishnamoorthy, Geo...
SAMT
2009
Springer
159views Multimedia» more  SAMT 2009»
16 years 29 days ago
Interoperable Multimedia Metadata through Similarity-Based Semantic Web Service Discovery
The increasing availability of multimedia (MM) resources, Web services as well as content, on the Web raises the need to automatically discover and process resources out of distrib...
Stefan Dietze, Neil Benn, John Domingue, Alex Conc...
WIKIS
2009
ACM
16 years 28 days ago
Wikipublisher: a print-on-demand Wiki
Web and print exist as two solitudes: printed web pages often disappoint and converting print documents into good web pages is hard. A wiki makes it easy for authors to create ric...
John Rankin, Craig Anslow, James Noble, Brenda Cha...