Sciweavers

417 search results - page 27 / 84
» The Start of an Eiffel Standard
Sort
View
AIED
2007
Springer
14 years 4 months ago
Helping Courseware Authors to Build Ontologies: The Case of TM4L
The authors of topic map-based learning resources face major difficulties in constructing the underlying ontologies. In this paper we propose two approaches to address this problem...
Darina Dicheva, Christo Dichev
B
2007
Springer
14 years 4 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
COCO
2007
Springer
107views Algorithms» more  COCO 2007»
14 years 4 months ago
A Linear Round Lower Bound for Lovasz-Schrijver SDP Relaxations of Vertex Cover
We study semidefinite programming relaxations of Vertex Cover arising from repeated applications of the LS+ “lift-and-project” method of Lovasz and Schrijver starting from th...
Grant Schoenebeck, Luca Trevisan, Madhur Tulsiani
ICSE
2007
IEEE-ACM
14 years 4 months ago
Aspect-Oriented Design in Java/AspectJ and Ruby
This tutorial teaches professional developers design principles for “production-quality”, aspect-oriented software, written in Java/AspectJ and Ruby. The discussion starts wit...
Dean Wampler
MTSR
2007
Springer
14 years 4 months ago
Metadata Application Profile for Agricultural Learning Resources
Capacity and institution building is a core function of the Food and Agricultural Organization of the United Nations (FAO). FAO has recently started the “Capacity and Institution...
Hilke Stuempel, Gauri Salokhe, Anne Aubert, Johann...