8933 search results - page 212 / 1787 » Usability over time |
185
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
190
click to vote
LCN
2000
IEEE
15 years 10 months ago
2000
IEEE
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
172
click to vote
IRREGULAR
1995
Springer
15 years 10 months ago
1995
Springer
Sparse matrix problems are di cult to parallelize e ciently on message-passing machines, since they access data through multiple levels of indirection. Inspector executor strategie...
131
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
142
click to vote
ICWSM
2010
15 years 8 months ago
2010
We connect measures of public opinion measured from polls with sentiment measured from text. We analyze several surveys on consumer confidence and political opinion over the 2008 ...