10038 search results - page 332 / 2008 » Model Checking for Managers |
155
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
177
click to vote
IJIEM
2007
15 years 6 months ago
2007
: Digital piracy is threatening the global multimedia content industry and blindly applied coercive Digital Right Management (DRM) policies do nothing but legitimizing this piracy....
207
click to vote
HCI
2009
15 years 4 months ago
2009
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...
174
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
132
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...