503 search results - page 81 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
EUROMICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...
197
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
DEXAW
2005
IEEE
15 years 3 months ago
2005
IEEE
Recent dynamics in the business world and the tough environment of globalization put enormous pressure on enterprises to be innovative. As a consequence, management concepts and I...