1054 search results - page 98 / 211 » Guarded Expressions in Practice |
171
Voted
SACMAT
2006
ACM
16 years 2 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
125
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The stable marriage problem (SM) and the Hospital / Residents problem (HR) are both stable matching problems. They consist of two sets of objects that need to be matched ...
130
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Although OWL is rather expressive, it has a very serious limitation on datatypes; i.e., it does not support customised datatypes. It has been pointed out that many potential users...
161
Voted
ICDT
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
164
click to vote
IDA
2005
Springer
15 years 11 months ago
2005
Springer
With the invention of biotechnological high throughput methods like DNA microarrays and the analysis of the resulting huge amounts of biological data, clustering algorithms gain ne...