429 search results - page 15 / 86 » An Adaptation-based Approach to Incrementally Build Componen... |
146
click to vote
TPHOL
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
174
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
136
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
154
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
: We discuss the development and application of Web Service-based Geographical Information System Grids. Following the WS-I+ approach of building Grids on Web Service standards, we...
140
click to vote
ICSM
2009
IEEE
16 years 9 days ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...