695 search results - page 53 / 139 » Linking Business Modelling to Socio-technical System Design |
148
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
159
click to vote
DEBS
2007
ACM
15 years 9 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
202
click to vote
WICOMM
2011
15 years 11 days ago
2011
—Providing quality-of-service (QoS) assurances in a mobile ad hoc network (MANET) is difficult due to node mobility, contention for channel access, a lack of centralised coordin...
130
click to vote
INFOCOM
2009
IEEE
16 years 2 days ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...
134
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper addresses the problem of the stability of congestion control for networks with large round-trip communication delays. Nearly all the existed AQM schemes neglect the i...