11066 search results - page 2183 / 2214 » Linearity in Process Languages |
113
click to vote
CHI
1997
ACM
15 years 1 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
107
click to vote
ZUM
1997
Springer
15 years 1 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...
VISUALIZATION
1992
IEEE
15 years 1 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
ACMICEC
2007
ACM
15 years 1 months ago
2007
ACM
With the rapid growth of the Internet, users' ability to publish content has created active electronic communities that provide a wealth of product information. Consumers nat...