10159 search results - page 1698 / 2032 » System Design Validation Using Formal Models |
155
Voted
HT
2004
ACM
16 years 5 days ago
2004
ACM
We describe the extension to our previous work on a Web-based peer-to-peer open hypermedia system, the DDLS. We enrich the peer model by introducing query history, and propose the...
158
click to vote
CEEMAS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The notions of role and organization have often been emphasized in several agent oriented methodologies. Sadly, the notion of interaction has seldom been reified in these...
167
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
217
click to vote
SIGCOMM
1991
ACM
15 years 10 months ago
1991
ACM
This paper presents a control-theoretic approach to reactive flow control in networks that do not reserve bandwidth. We assume a round-robin-like queue service discipline in the o...
202
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...