695 search results - page 53 / 139 » Linking Business Modelling to Socio-technical System Design |
171
click to vote
MEMOCODE
2003
IEEE
15 years 12 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...
199
click to vote
DEBS
2007
ACM
15 years 10 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...
230
click to vote
WICOMM
2011
15 years 1 months 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...
148
click to vote
INFOCOM
2009
IEEE
16 years 1 months 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...
159
click to vote
ICC
2007
IEEE
16 years 1 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...