3330 search results - page 398 / 666 » software 2010 |
128
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Twitter streams are on overload: active users receive hundreds of items per day, and existing interfaces force us to march through a chronologically-ordered morass to find tweets ...
151
click to vote
WER
2010
Springer
15 years 2 months ago
2010
Springer
Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. H...
184
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
185
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Requirements can differ in their importance. As such the priorities that stakeholders associate with requirements may vary from stakeholder to stakeholder and from one situation to...
160
click to vote
C3S2E
2010
ACM
15 years 5 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...