Sciweavers

3708 search results - page 136 / 742
» Programming with C Exceptions
Sort
View
107
Voted
TOOLS
1999
IEEE
15 years 7 months ago
Constraint Diagrams: A Step Beyond UML
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
Joseph Gil, John Howse, Stuart Kent
ACSC
2004
IEEE
15 years 6 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
129
Voted
COMPASS
1991
15 years 6 months ago
Label Algebras: A Systematic Use of Terms
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
Gilles Bernot, Pascale Le Gall
116
Voted
ALGORITHMICA
2010
95views more  ALGORITHMICA 2010»
15 years 2 months ago
Homogeneous String Segmentation using Trees and Weighted Independent Sets
We divide a string into k segments, each with only one sort of symbols, so as to minimize the total number of exceptions. Motivations come from machine learning and data mining. F...
Peter Damaschke
135
Voted
MAGS
2010
116views more  MAGS 2010»
15 years 1 months ago
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
M. Birna van Riemsdijk, Martin Wirsing