526 search results - page 57 / 106 » Type Abstractions of Name-Passing Processes |
139
click to vote
CGA
1999
15 years 3 months ago
1999
displays to abstract network data and let users interactwithit.Wehaveimplementedafull-scaleSwift3D prototype, which generated the examples we present here. Swift-3D We developed Sw...
112
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
127
Voted
ICON
2007
IEEE
15 years 10 months ago
2007
IEEE
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
95
Voted
EGOV
2007
Springer
15 years 9 months ago
2007
Springer
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
98
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...