7099 search results - page 282 / 1420 » Context for models of concurrency |
182
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
We study Nonassociative Lambek Calculus with additives ∧, ∨, satisfying the distributive law (Distributive Full Nonassociative Lambek Calculus DFNL). We prove that categorial g...
192
click to vote
AI
2009
Springer
16 years 2 months ago
2009
Springer
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
175
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own ...
192
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
205
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Today’s model of networking primarily concentrates intelligence at the end hosts with the network itself offering a simple“best-effort”,“data agnostic” communication med...