7715 search results - page 616 / 1543 » Visual Rules Modeling |
213
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
227
click to vote
APPINF
2003
15 years 8 months ago
2003
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph ...
186
click to vote
IJCAI
2001
15 years 8 months ago
2001
As AI systems make their way into the mainstream of interactive applications, usability becomes an increasingly important factor in their success. A wide range of user interface d...
187
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...
217
click to vote
ENTCS
2008
15 years 7 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...