13383 search results - page 325 / 2677 » Abstractions from proofs |
196
Voted
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
138
click to vote
BPM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this ...
161
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
147
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Katakana, Japanese phonogram mainly used for loan words, is a troublemaker in Japanese word segmentation. Since Katakana words are heavily domaindependent and there are m...
174
click to vote
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Music is not only a set of sounds, it evokes emotions, subjectively perceived by listeners. The growing amount of audio data available on CDs and in the Internet wakes up...