7988 search results - page 256 / 1598 » A Useful Undecidable Theory |
90
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
We have used a design science approach to study the collaborative creation of conceptual models. We have designed a collaborative modeling architecture based on business needs and...
130
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
117
click to vote
JFP
2007
15 years 21 days ago
2007
Haskell’s popularity has driven the need for ever more expressive type system features, most of which threaten the decidability and practicality of Damas-Milner type inference. ...
201
Voted
CONCUR
2011
Springer
14 years 18 days ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
74
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...