Sciweavers

66 search results - page 7 / 14
» Expressive Commerce and Its Application to Sourcing
Sort
View
ECBS
2009
IEEE
114views Hardware» more  ECBS 2009»
13 years 11 months ago
Model-Based Product-Oriented Certification
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
Damian Dechev, Bjarne Stroustrup
CSMR
2006
IEEE
14 years 1 months ago
A Language Independent Framework for Context-sensitive Formatting
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J...
ER
2003
Springer
173views Database» more  ER 2003»
14 years 24 days ago
Automatic Generation of XQuery View Definitions from ORA-SS Views
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...
Ya Bing Chen, Tok Wang Ling, Mong-Li Lee
SCP
2010
96views more  SCP 2010»
13 years 6 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
LREC
2008
83views Education» more  LREC 2008»
13 years 9 months ago
More Semantic Links in the SIMPLE-CLIPS Database
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
Nilda Ruimy, Antonio Toral