Sciweavers

653 search results - page 95 / 131
» Embedded software generation from system level design langua...
Sort
View
WWW
2004
ACM
15 years 10 months ago
Converting UML to OWL ontologies
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
Dragan Gasevic, Dragan Djuric, Vladan Devedzic, Vi...
CC
2004
Springer
15 years 3 months ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa
SAC
2010
ACM
14 years 10 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
70
Voted
ICFP
2008
ACM
15 years 9 months ago
Flask: staged functional programming for sensor networks
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
Geoffrey Mainland, Greg Morrisett, Matt Welsh
DALT
2009
Springer
15 years 4 months ago
Correctness Properties for Multiagent Systems
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
Munindar P. Singh, Amit K. Chopra