2836 search results - page 506 / 568 » Model Checking for Software Architectures |
LWA
2008
13 years 11 months ago
2008
Spreadsheets are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. They r...
IEEESCC
2010
IEEE
13 years 8 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
ICECCS
2009
IEEE
14 years 4 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
ATAL
2008
Springer
14 years 3 days ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...