798 search results - page 30 / 160 » Statecharts as Protocols for Objects |
FGCN
2007
IEEE
15 years 6 months ago
2007
IEEE
In this survey we review energy-aware routing protocols for wireless multihop ad hoc networks and critically discuss the main results in this area. The classification presented is...
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
ISORC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents our experiments for integrating OMG MIOP (Multicast Inter-ORB Protocol) specifications into a CORBA ORB. We proposed an integration model which allows the coex...
AMAST
2000
Springer
15 years 4 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
CAD
2000
Springer
14 years 11 months ago
2000
Springer
The protocols selected and developed by the NIIIP Consortium have been validated in three end-of-cycle demonstrations. In each cycle, a team with expertise in technical product da...