2747 search results - page 79 / 550 » Network externalities in software systems |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
LR
2011
12 years 11 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
DEXAW
2000
IEEE
14 years 1 months ago
2000
IEEE
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...