12774 search results - page 210 / 2555 » A Framework for Proof Systems |
202
click to vote
SIGMETRICS
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
181
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
To rapidly evolve new designs of peer-to-peer (P2P) multimedia streaming systems, it is highly desirable to test and troubleshoot them in a controlled and repeatable experimental ...
155
click to vote
AOSE
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
190
click to vote
CODES
2005
IEEE
16 years 6 days ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
184
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The automotive electronics industry is experiencing an era of unprecedented growth. Driven by emissions and safety legislation, fuel economy constraints, cost constraints, and cus...