11168 search results - page 1970 / 2234 » Abstract State Processes |
124
Voted
GG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
109
Voted
GI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
83
Voted
ICA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Frequency domain ICA has been used successfully to separate the utterances of interfering speakers in convolutive environments, see e.g. [6],[7]. Improved separation resu...
114
click to vote
ICDCIT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Organizations are increasingly using the the eXtensible Markup Language (XML) for document representation and exchange on the Web. To protect an XML document from unautho...
106
click to vote
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...