Sciweavers

523 search results - page 82 / 105
» Embedded Software Development with Projectional Language Wor...
Sort
View
SIGSOFT
2009
ACM
16 years 2 months ago
SCA: a semantic conflict analyzer for parallel changes
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
SEKE
2009
Springer
15 years 6 months ago
Improving Searchability of a Music Digital Library with Semantic Web Technologies
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
Paloma de Juan, Carlos Angel Iglesias
POPL
2007
ACM
16 years 2 months ago
Lightweight fusion by fixed point promotion
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
Atsushi Ohori, Isao Sasano
KRDB
2003
184views Database» more  KRDB 2003»
15 years 3 months ago
Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
Michael Wessel
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
15 years 5 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...