2004 search results - page 235 / 401 » Comparison of Model Checking Tools for Information Systems |
149
Voted
PRIMA
2007
Springer
15 years 10 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
155
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Social network systems, like last.fm, play a significant role in Web 2.0, containing large amounts of multimedia-enriched data that are enhanced both by explicit user-provided an...
200
Voted
UIST
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
126
click to vote
TDP
2008
15 years 4 months ago
2008
The demand for high quality microdata for analytical purposes has grown rapidly among researchers and the public over the last few years. In order to respect existing laws on data ...
154
Voted
WCRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—The evolution of a software project is a rich data source for analyzing and improving the software development process. Recently, several research groups have tried to cluster s...