11168 search results - page 1543 / 2234 » Abstract State Processes |
168
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
181
click to vote
GBRPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
171
click to vote
ICA3PP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
197
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
176
Voted
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...