1160 search results - page 68 / 232 » Applying Constraint Solving to the Management of Distributed... |
132
click to vote
DAC
2000
ACM
15 years 8 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
128
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
130
click to vote
PDPTA
2003
15 years 5 months ago
2003
We investigate the management of flocking mobile objects using a parallel message-passing computer cluster. An octree, a data structure well-known for use in managing a 3D space, ...
140
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
145
click to vote
PDPTA
2000
15 years 5 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...