2004 search results - page 386 / 401 » Comparison of Model Checking Tools for Information Systems |
101
click to vote
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
While previous research has provided a great deal of information on individual factors that play a role in IT implementation success, a gap in the research exists when it comes to...
86
Voted
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
112
click to vote
IE
2007
15 years 1 months ago
2007
How can we help people design well-formed and innovative games? The design Patterns of Christopher Alexander is one methodology that has been proposed to assist in the design of w...
ULPAA
1992
15 years 27 days ago
1992
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
124
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Privacy is an enormous problem in online social networking sites. While sites such as Facebook allow users fine-grained control over who can see their profiles, it is difficult ...