3053 search results - page 151 / 611 » Performance of Generative Programming Based Protocol Impleme... |
106
click to vote
POPL
2012
ACM
13 years 8 months 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 ...
110
Voted
COMPSAC
2006
IEEE
15 years 6 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...
103
click to vote
ASC
2006
15 years 2 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...
WOA
2000
15 years 1 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 ...
111
Voted
VL
2005
IEEE
15 years 6 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...