| |
Automated Technology for Verification and Analysis (2005), pp. 338-353.
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 31, No. 3. (May 2006), pp. 1-7.
|
| |
Control Theory and Applications, IEE Proceedings D [see also IEE Proceedings-Control Theory and Applications] In Control Theory and Applications, IEE Proceedings D [see also IEE Proceedings-Control Theory and Applications], Vol. 137, No. 5. (1990), pp. 302-306.
|
| |
Systems, Man and Cybernetics, 2005 IEEE International Conference on In Systems, Man and Cybernetics, 2005 IEEE International Conference on, Vol. 3 (2005), pp. 2968-2972 Vol. 3.
|
| |
In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems (2004), pp. 39-43.
|
| |
In ARM '05: Proceedings of the 4th workshop on Reflective and adaptive middleware systems (2005)
|
| |
Real-Time Systems, Vol. 28, No. 2. (1 November 2004), pp. 101-155.
|
| |
In ARM '05: Proceedings of the 4th workshop on Reflective and adaptive middleware systems (2005)
|
| |
In IWDC '02: Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing (2002), pp. 214-223.
|
| |
Electrical and Computer Engineering, Canadian Journal of In Electrical and Computer Engineering, Canadian Journal of, Vol. 29, No. 1. (2004), pp. 77-83.
|
| |
|
| |
|
| |
IEEE Journal of Selected Areas in Communications, Vol. 9, No. 7. (1991), pp. 1052-1063.
|
| |
Internet Computing, IEEE In Internet Computing, IEEE, Vol. 8, No. 4. (2004), pp. 85-87.
|
| |
|
| |
In {Model Driven Architecture - Foundations and Applications: Second European Conference}, Vol. 4066 (2006), pp. 361-375.
|
| |
ACM Transactions on Programming Languages and Systems, Vol. 17, No. 3. (May 1995), pp. 507-535.
|
| |
Embedded Software (2003), pp. 290-305.
|
| |
Computer Standards & Interfaces, Vol. 28, No. 1. (July 2005), pp. 43-58.
|
| |
|
| |
IEEE Transactions on Computers, Vol. 49, No. 11. (2000), pp. 1170-1183.
|
| |
In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, Graz, Austria, September 1997), Vol. 1313 (1997), pp. 102-121.
|
| |
In AICCSA '05: Proceedings of the ACS/IEEE 2005 International Conference on Computer Systems and Applications (2005), pp. 141-vii.
|
| |
In LCTES '99: Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems (1999), pp. 65-72.
|
| |
Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International In Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International (2004), pp. 221-230.
|
| |
In International Conference on Parallel Computing in Electrical Engineering (2004)
|
| |
In EMSOFT '07: Proceedings of the 7th ACM \& IEEE international conference on Embedded software (2007), pp. 114-123.
|
| |
From Model-Driven Design to Resource Management for Distributed Embedded Systems (2006), pp. 85-94.
|
| |
In 19th International Parallel and Distributed Processing Symposium (2005)
|
| |
J. Integr. Des. Process Sci., Vol. 8, No. 2. (April 2004), pp. 137-149.
|
| |
IEEE Industrial Electronics, IECON 2006 - 32nd Annual Conference on In IEEE Industrial Electronics, IECON 2006 - 32nd Annual Conference on (2006), pp. 4575-4580.
|
| |
Information and Communication Technologies, 2006. ICTTA '06. 2nd In Information and Communication Technologies, 2006. ICTTA '06. 2nd, Vol. 2 (2006), pp. 3216-3221.
posted to qos by lmorel
on 2007-10-24 15:55:36
as 
|
| |
In SEM '05: Proceedings of the 5th international workshop on Software engineering and middleware (2005), pp. 1-8.
posted to qos by lmorel
on 2007-10-24 15:54:49
as
|
| |
Dependable Computing (2003), pp. 181-196.
posted to qos by lmorel
on 2007-10-24 15:54:16
as
|
| |
Software Engineering and Middleware (2005), pp. 170-184.
|
| |
|
| |
Real-Time Syst., Vol. 16, No. 2-3. (1999), pp. 187-221.
posted to qos by lmorel
on 2007-10-24 15:49:54
as
|
| |
Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on In Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on (2002), pp. 85-92.
posted to qos by lmorel
on 2007-10-24 15:49:10
as
|
| |
Advances in Grid Computing - EGC 2005 (2005), pp. 661-670.
|
| |
In GPCE '02: Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering (2002), pp. 236-251.
|
| |
|
| |
|
| |
In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande (2002), pp. 131-140.
|
| |
In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software (2005), pp. 264-272.
|
| |
Digital System Design: Architectures, Methods and Tools, 2006. DSD 2006. 9th EUROMICRO Conference on (2006), pp. 37-44.
|
| |
Computers and Digital Techniques, IEE Proceedings-, Vol. 150, No. 5. (2003), 313-20.
|
| |
|
| |
|
| |
In ECBS '02: Proceeding of the 9th IEEE International Conference on Engineering of Computer-Based Systems (2002), pp. 159-166.
|
Search
