5290 search results - page 777 / 1058 » Information systems as social structures |
164
click to vote
MKM
2007
Springer
16 years 26 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
179
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper describes the design of a competitive game to support “offense” and “defense” teams as they develop and improve their scenarios and plans about possible crisis ...
158
Voted
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
178
click to vote
SOFTVIS
2005
ACM
16 years 9 days ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
165
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...