440 search results - page 81 / 88 » Multiplicity computing: a vision of software engineering for... |
PPOPP
2003
ACM
14 years 25 days ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Front projection allows large displays to be deployed relatively easily. However, it is sometimes difficult to find a location to place a projector, especially for ad-hoc instal...
ACMDIS
2000
ACM
13 years 12 months ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...