349 search results - page 15 / 70 » The feature construct for SMV: Semantics |
105
Voted
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
196
click to vote
VLDB
2001
ACM
16 years 2 months ago
2001
ACM
The correctness of the data managed by database systems is vital to any application that utilizes data for business, research, and decision-making purposes. To guard databases agai...
100
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract--There exists an injective, information-preserving function that maps a semantic network (i.e a directed labeled network) to a directed network (i.e. a directed unlabeled ...
120
Voted
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
144
click to vote
CN
1999
15 years 1 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...