3271 search results - page 467 / 655 » Controlled Multicast Framework |
160
Voted
MOBIQUITOUS
2007
IEEE
15 years 8 months ago
2007
IEEE
— Vehicular ad hoc networks (VANETs) are being advocated for traffic control, accident avoidance, and a variety of other applications. Security is an important concern in VANETs...
102
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
118
Voted
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
135
Voted
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
119
Voted
SSS
2007
Springer
15 years 8 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...