2357 search results - page 222 / 472 » interfaces 2007 |
145
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
In navigating large information spaces, previous work indicates potential advantages of physical navigation (moving eyes, head, body) over virtual navigation (zooming, panning, fl...
156
click to vote
DASFAA
2007
IEEE
15 years 11 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
145
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Growing abundance of information on the Internet, especially the Next Generation Internet, poses even more challenges on more efficient information management; hence it h...
150
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
162
click to vote
ACMSE
2007
ACM
15 years 9 months ago
2007
ACM
Intelligence analysis is difficult due to the volume and complexity of the data, as well as the subtlety of the connections that have to be made in order to identify threats. Info...