10575 search results - page 1537 / 2115 » T2Script Programming Language |
192
click to vote
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
239
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
150
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
: As part of a larger research on multimedia traffic performance over GPRS, we present a QoS study focusing on one parameter: bandwidth. GPRS is an evolutionary phase and a critica...
171
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
195
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...