This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
اقرأ المزيد
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
اقرأ المزيد
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
اقرأ المزيد
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
اقرأ المزيد
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
اقرأ المزيد
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
اقرأ المزيد
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
اقرأ المزيد
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
اقرأ المزيد
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
اقرأ المزيد
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
اقرأ المزيد
What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...
اقرأ المزيد
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
اقرأ المزيد
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيد
This book encapsulates some work done in the DIRC project concerned with trust and responsibility in socio-technical systems. ...
اقرأ المزيد
This volume covering the core issues of trust in IT systems and trusted computing and to bridge the gaps between international ...
اقرأ المزيد
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
اقرأ المزيد
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيد
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
اقرأ المزيد