21108 search results - page 3920 / 4222 » A General Class of Models of |
127
click to vote
ESWS
2009
Springer
16 years 21 days ago
2009
Springer
Statistical data is present everywhere—from governmental bodies to economics, from life-science to industry. With the rise of the Web of Data, the need for sharing, accessing, an...
168
click to vote
OOPSLA
2009
Springer
16 years 20 days ago
2009
Springer
Iterations are time-boxed periods with an intended outcome that is often a set of implemented requirements. Iterations are part of most common software development lifecycle model...
146
Voted
SAGT
2009
Springer
16 years 20 days ago
2009
Springer
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
150
Voted
SEMWEB
2009
Springer
16 years 20 days ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
206
click to vote
HASKELL
2009
ACM
16 years 19 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...