1981 search results - page 203 / 397 » The State of Change: A Survey |
206
click to vote
WETICE
2008
IEEE
16 years 28 days ago
2008
IEEE
: Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such...
156
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
—Recently, game theory becomes a useful and powerful tool to research mobile ad hoc networks (MANETs). Wireless LANs (WLANs) can work under both infrastructure and ad hoc modes, ...
178
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— Outside of the laboratory, accurate models of ground impact dynamics are either difficult or impossible to obtain. Instead, a rigid ground model is often used in gait and cont...
125
click to vote
INFOCOM
2007
IEEE
16 years 26 days ago
2007
IEEE
— In this paper we investigate the potential benefits of coordinated congestion control for multipath data transfers, and contrast with uncoordinated control. For static random ...
200
click to vote
ATVA
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...