4491 search results - page 298 / 899 » Algorithm Engineering |
116
Voted
SAINT
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an open, decentralized, participatory system which realizes location-based services by gently extending the existing World Wide Web. Utilizing a geospatial search engin...
108
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
150
Voted
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
126
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
130
Voted
AI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Large document collections, such as those delivered by Internet search engines, are difficult and time-consuming for users to read and analyse. The detection of common an...