Sciweavers

7379 search results - page 1203 / 1476
» How Many Clusters
Sort
View
ECMDAFA
2009
Springer
127views Hardware» more  ECMDAFA 2009»
15 years 2 months ago
Derivation and Refinement of Textual Syntax for Models
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
Florian Heidenreich, Jendrik Johannes, Sven Karol,...
ESWS
2009
Springer
15 years 2 months ago
Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
Jonas Tappolet, Abraham Bernstein
ESWS
2009
Springer
15 years 2 months ago
Using Partial Reference Alignments to Align Ontologies
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....
Patrick Lambrix, Qiang Liu 0002
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 2 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GEM
2009
15 years 2 months ago
Degenerate Neutrality Creates Evolvable Fitness Landscapes
- Understanding how systems can be designed to be evolvable is fundamental to research in optimization, evolution, and complex systems science. Many researchers have thus recognize...
James M. Whitacre, Axel Bender
« Prev « First page 1203 / 1476 Last » Next »