1704 search results - page 207 / 341 » Focusing Software Education on Engineering |
194
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Search engines are the primary gateways of information access on the Web today. Behind the scenes, search engines crawl the Web to populate a local indexed repository of Web pages...
133
click to vote
ARCS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
173
click to vote
SOCO
2007
Springer
16 years 18 days ago
2007
Springer
This paper explores service composition in pervasive environments with a focus on dynamic service selection. Service orientation offers the dynamism and loose coupling needed in pe...
172
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...
170
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...