6794 search results - page 456 / 1359 » Semantics of Visual Languages |
185
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
181
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
177
click to vote
GPCE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
186
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
XML has become the standard platform for structured data exchange on the Web. Next concern of Semantic Web is the exchange of rules in markup language form. The rules should be re...
217
click to vote
CONCUR
2003
Springer
16 years 3 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...