4426 search results - page 584 / 886 » Concurrent Constraint Programming |
168
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the most difficult tasks in the design of information systems is how to control the behaviour of the back-end storage engine, usually a relational database. As the load on t...
198
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
184
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
158
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
185
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Interference among concurrent transmissions complicates QoS provisioning for multimedia applications in wireless mesh networks. In this paper we propose MARIA (Mesh Adm...