3053 search results - page 151 / 611 » Performance of Generative Programming Based Protocol Impleme... |
145
click to vote
POPL
2012
ACM
14 years 7 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
143
click to vote
COMPSAC
2006
IEEE
15 years 10 months 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...
135
click to vote
ASC
2006
15 years 6 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...
132
click to vote
WOA
2000
15 years 6 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
147
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...