4814 search results - page 795 / 963 » Combining abstract interpreters |
ATAL
2008
Springer
14 years 9 days ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
BPM
2008
Springer
14 years 9 days ago
2008
Springer
Abstract. In today's fast changing business environment flexible Process Aware Information Systems (PAISs) are required to allow companies to rapidly adjust their business pro...
BPM
2008
Springer
14 years 9 days ago
2008
Springer
Simulation is widely used as a tool for analyzing business s but is mostly focused on examining rather abstract steady-state situations. Such analyses are helpful for the initial d...
CBSE
2008
Springer
14 years 9 days ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...
CDC
2008
IEEE
14 years 9 days ago
2008
IEEE
Abstract-- A network of nodes communicate via noisy channels. Each node has some real-valued initial measurement or message. The goal of each of the nodes is to acquire an estimate...