Proceedings, 11th IEEE International Conference and Workshop on the Engineering of Computer-... Book

	Systems modeling and requirements specification using ECSAM : a method for embedded computer-based systems analysis	2
	A comparative analysis of object-oriented and other methods for modeling computer based systems	13
	Modeling and simulation of stability and support operations (SASO)	21
	Domain independent generative modeling	29
	The scheduling algorithms in software architecture modeling	36
	An explicit definition of connectors for component-based software architecture	44
	Closing the gap between software modelling and code	52
	Performance analysis of embedded systems in the virtual component co-design environment	61
	Enabling optimisation in the design of complex computer based systems	69
	Gradient method with topology discovery for load-balancing in active networks	75
	Wiccap : from semi-structured data to structured data	86
	Suffix caching techniques of streaming media based on batch patching	94
	Advanced Bayesian optimization algorithms applied in decomposition problems	102
	A design framework for Internet-based embedded distributed systems	113
	WASP : a radio geolocation system on highly resource constrained mobile platforms	121
	Efficient SOAP processing in embedded systems	128
	DVTG and test harnessing using Rosetta specifications	136
	Applying model checking to workflow verification	144
	Validation of reactive embedded systems against temporal requirements	152
	The survey of some aspects of European higher education at the beginning of the third millennium	161
	Non-functional refinement of computer based systems architecture	168
	Architectural description with integrated data consistency models	178
	Theory and applications of evolvable embedded systems	186
	An approach for the verification of UML models using B	195
	Formal abstract architecture for use case specifications	203
	Formal specification of shared variables using CSP	211
	Improving CBS tool development with technological spaces	218
	GeneralStore - a CASE-tool integration platform enabling model level coupling of heterogeneous designs for embedded electronic systems	225
	A concept of an integrated development environment for reactive systems	233
	Efficient and effective simulation of memory maps for system-on-chip	242
	Simulation approach to embedded system programming and testing	248
	Simulation and verification tool for hierarchical real-time systems	255
	A methodology for requirements engineering process development	263
	IRIS : a semi-formal approach for detecting requirements interactions	273
	Requirements trade-offs during UML design	282
	Network virtual laboratory for external devices programming	293
	Role-playing, group work and other ambitious teaching methods in a large requirements engineering course	299
	Contracts and games in controller synthesis for discrete systems	307
	Induction in time-varying domains : motivation, origins, and encouragements	316
	Features with fuzzy probability	323
	Hand-written vs. MOF-based metadata repositories : the SOFA experience	329
	Symbolic model checking of UML statechart diagrams with an integrated approach	337
	Formal approach to synthesis of a test controller	348
	An efficient implementation of the 1D DCT using FPGA technology	356
	Particle rendering engine in DSP and FPGA	361
	Supporting evolutionary development by feature models and traceability links	370
	Functional and object-oriented views in embedded software modeling	378
	Tool support for DFD-UML model-based transformations	388
	A foundation for tool-supported critical systems development with UML	398
	Using feature modeling for program comprehension and software architecture recovery	406
	Evolution of software for embedded systems in processor expert	419
	The networked photo-enforcement and traffic monitoring system unicam	423
	ADC position-sense interface	429
	A modular approach to SystemC-based codesign promoting reuse of high-level legacy C-models	435
	Verification of emergent behaviors in swarm-based systems	443
	Exploring autonomic options in a unified fault management architecture through reflex reactions via pulse monitoring	449
	A model-based self-adaptive approach to image processing	456
	Throughput computing	463
	COTS (commercial off the shelf) distributed system for critical application	464
	Design and optimization of distributed control system using UML model	469
	Model based self adaptive behavior language for large scale real time embedded systems	478
	Asteroid exploration with autonomic systems	484
	Some autonomic properties of two legacy multi-agent systems - LOGOS and ACT	490
	Towards a model-driven architecture for autonomic systems	500
	Self-adaptive and self-healing message passing strategies for process-oriented integration infrastructures	506
	Personal autonomic computing self-healing tool	513
	Applications for mobile agents in peer-to-peer networks	523
	Migration of mobile agents in ad-hoc, wireless networks	530
	A formal approach for interoperability between mobile agent systems and component based architectures	536
	An implementation of self-protected mobile agents	544
	A service-oriented software architecture for mobile agent toolkits	550