2493 search results - page 270 / 499 » Tool Support for Design by Contract |
278
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
167
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
The University of Pittsburgh's Computing Services and Systems Development organization is focused on the needs of the faculty and student population, totaling nearly 40,000 u...
188
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
201
click to vote
DALT
2004
Springer
16 years 1 days ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
169
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...