2106 search results - page 398 / 422 » Operational Semantics for DyLPs |
122
Voted
CIKM
2001
Springer
15 years 6 months ago
2001
Springer
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
126
click to vote
ICDCS
2000
IEEE
15 years 6 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
111
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
146
click to vote
SSDBM
2000
IEEE
15 years 6 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
108
Voted
CC
2000
Springer
15 years 6 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...