5084 search results - page 771 / 1017 » Proving Possibility Properties |
178
click to vote
ACSC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
171
click to vote
AUIC
2006
IEEE
16 years 21 days ago
2006
IEEE
User interfaces as well as documents use tabular layout mechanisms. The HTML table construct and the GridBag layout in Java are typical examples. There are, however, shortcomings ...
163
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
With current grid middleware, it is difficult to deploy distributed supercomputing applications that run concurrently on multiple resources. As current grid middleware systems ha...
153
click to vote
CODES
2006
IEEE
16 years 21 days ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
158
click to vote
ICARCV
2006
IEEE
16 years 20 days ago
2006
IEEE
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...