10055 search results - page 420 / 2011 » Structured programming using processes |
280
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
240
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider the problem of revenue-optimal dynamic mechanism design in settings where agents' types evolve over time as a function of their (both public and private) experien...
192
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
177
Voted
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
160
click to vote
UIST
2004
ACM
16 years 6 days ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...