| |
Hybrid Systems: Computation and Control (2008), pp. 316-329.
|
| |
Aerospace and Electronic Systems, IEEE Transactions on, Vol. 42, No. 1. (2006), pp. 113-135.
|
| |
|
| |
Signal Processing, IEEE Transactions on, Vol. 42, No. 8. (06 August 2002), pp. 1905-1915.
|
| |
Communications, 2004 IEEE International Conference on, Vol. 7 (2004), pp. 4057-4061 Vol.7.
|
| |
In MobiCom '98: Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking (1998), pp. 181-190.
|
| |
Networking, Sensing and Control, 2004 IEEE International Conference on, Vol. 1 (2004), pp. 468-473 Vol.1.
|
| |
In HANDBOOK OF OPTIMIZATION IN TELECOMMUNICATIONS (February 2006)
|
| |
In SenSys '05: Proceedings of the 3rd international conference on Embedded networked sensor systems (2005), pp. 142-153.
|
| |
In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems (2004), pp. 62-68.
|
| |
In Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking (1998), pp. 85-97.
|
| |
|
| |
|
| |
|
| |
IEEE Internet Computing, Vol. 10, No. 2. (2006), pp. 26-34.
|
| |
In MobiDe '03: Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access (2003), pp. 1-8.
|
| |
In Proc. Hawaaian Int'l Conf. on Systems Science (January 2000)
|
| |
Wireless Networks, Vol. 7, No. 4. (August 2001), pp. 343-358.
|
| |
|
| |
In FOSE '07: 2007 Future of Software Engineering (2007), pp. 171-187.
|
| |
In WOSP '02: Proceedings of the 3rd international workshop on Software and performance (2002), pp. 17-24.
|
| |
Distributed Computing Systems, 2004. Proceedings. 24th International Conference on (2004), pp. 301-310.
|
| |
|
| |
Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86.
|
| |
Lecture Notes in Computer Science In In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Vol. 2280 (8-12 April 2002), pp. 67-82.
|
| |
|
| |
Commun. ACM, Vol. 52, No. 11. (2009), pp. 36-39.
|
| |
American Control Conference, 2009. ACC '09. (10 July 2009), pp. 2076-2089.
|
| |
ACM Computing Surveys, Vol. 41, No. 4. (2009), pp. 1-54.
|
| |
|
| |
Aerospace Conference, 2008 IEEE (20 May 2008), pp. 1-11.
|
| |
|
| |
|
| |
Antennas and Propagation Conference, 2007. LAPC 2007. Loughborough (04 June 2007), pp. 101-104.
|
| |
|
| |
|
| |
Computer Aided Verification In CAV '08: Proceedings of the 20th international conference on Computer Aided Verification (2008), pp. 176-189.
|
| |
|
| |
|
| |
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2007), pp. 245-260.
|
| |
Industrial Electronics, IEEE Transactions on, Vol. 56, No. 3. (27 February 2009), pp. 900-906.
|
| |
|
| |
In Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) (2009), pp. 2186-2191.
|
| |
In PDP '09: Proceedings of the 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing (2009), pp. 210-219.
|
| |
|
| |
In Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems (2008)
|
| |
|
| |
Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on In Object-Oriented Real-Time Distributed Computing, 1999. (ISORC '99) Proceedings. 2nd IEEE International Symposium on (06 August 2002), pp. 14-23.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 27, No. 7. (17 June 2008), pp. 1165-1178.
|
| |
|
Search
