1369 search results - page 163 / 274 » Graphical Design of Reactive Systems |
KBSE
2006
IEEE
15 years 4 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
CW
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents work in progress and continues a project devoted to developing shape modeling system based on implementation of radial based function (RBF) technology. In this...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
GRAPHITE
2003
ACM
15 years 3 months ago
2003
ACM
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
108
click to vote
GD
2003
Springer
15 years 3 months ago
2003
Springer
Given two different drawings of a planar graph we consider the problem of morphing one drawing into the other. We designed and implemented an algorithm for intersection-free morph...