3008 search results - page 534 / 602 » Information and Control in Gray-Box Systems |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Developers spend significant time reading and navigating code fragments spread across multiple locations. The filebased nature of contemporary IDEs makes it prohibitively difficul...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
We report on a year-long qualitative and ethnographic project to examine the value of digital pen technology for note taking. A digital pen captures a facsimile of information wri...
117
click to vote
EMS
2009
IEEE
15 years 4 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
—Identity federation is a key requirement for today’s distributed services. This technology allows managed sharing of users’ identity information between identity providers (...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...