Sciweavers

399 search results - page 28 / 80
» An Integrated Development Environment for Declarative Multi-...
Sort
View
LPAR
2005
Springer
15 years 3 months ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
FCCM
1999
IEEE
210views VLSI» more  FCCM 1999»
15 years 2 months ago
Algorithm Analysis and Mapping Environment for Adaptive Computing Systems: Further Results
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...
Eric K. Pauer, Paul D. Fiore, John M. Smith
ECOOP
2007
Springer
15 years 4 months ago
Towards Runtime Adaptation in a SOA Environment
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
Florian Irmert, Marcus Meyerhöfer, Markus Wei...
AKA
2004
14 years 11 months ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
JOT
2006
78views more  JOT 2006»
14 years 9 months ago
The JBoss Integration Plug-in for IntelliJ IDEA, Part 3
This paper is the third in a series of papers that describe a new plug-in for enabling the integration of the IntelliJ IDEA IDE with the JBoss application server. The JBoss plug-i...
Douglas A. Lyon, Martin Fuhrer, Thomas Rowland