2421 search results - page 393 / 485 » Message from the Editor-in-Chief |
ENTCS
2008
15 years 1 months ago
2008
Control flow is often key problem in current web applications. For example, using the back button gives a POSTDATA error, using multiple windows books the wrong hotel, and sending...
123
click to vote
FUIN
2008
15 years 1 months ago
2008
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
116
click to vote
CEE
2006
15 years 1 months ago
2006
The need for reliable data communication performed in critical conditions and the respect of real-time constraints is an open issue in radio-military networks, where fixed and nom...
95
Voted
CN
2006
15 years 1 months ago
2006
In certain reliable group-oriented and multicast applications, a source needs to securely verify whether all (and if not all, which) intended receivers have received a message. How...
142
click to vote
COMCOM
2006
15 years 1 months ago
2006
Routing is the problem of sending a packet from a source node to a destination node in the network. Existing solutions for sensor networks assume a unit disk graph model, where me...