941 search results - page 36 / 189 » The Parking Permit Problem |
105
click to vote
APLAS
2010
ACM
15 years 1 days ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
ISPW
2010
IEEE
15 years 4 months ago
2010
IEEE
Software Factories pose a paradigm shift that promises to turn application assembly more cost eective through systematic reuse. These advances in software industrialization have h...
IAJIT
2010
14 years 10 months ago
2010
: In this paper, we intend to study the synthesis of the multibeam arrays. The synthesis implementation’s method for this type of arrays permits to approach the appropriated radi...
186
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...
PRDC
2006
IEEE
15 years 5 months ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...