343 search results - page 6 / 69 » Purely Relational FLWORs |
MPC
1995
Springer
13 years 11 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
JASIS
2008
13 years 7 months ago
2008
ICR should not be conducted on a purely abstract level, but should relate to potentially relevant problems.
ICWE
2010
Springer
13 years 6 months ago
2010
Springer
Inspired by the Google Wonder Wheel1 , in this paper we present Semantic Wonder Cloud (SWOC): a tool that helps users in knowledge exploration within the DBpedia dataset by adoptin...
TCS
2008
13 years 5 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...