2004 search results - page 319 / 401 » Comparison of Model Checking Tools for Information Systems |
141
click to vote
APVIS
2009
15 years 1 months ago
2009
In this paper, we propose a stochastic simulation to model and analyze cellular signal transduction. The high number of objects in a simulation requires advanced visualization tec...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Project Management (PM) paradigm is rapidly shifting due to business globalization and information technology (IT) advances that support distributed and virtual project teams....
103
click to vote
DEBU
2008
14 years 12 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
100
click to vote
AIED
2009
Springer
15 years 6 months ago
2009
Springer
We present in this paper an approach to assessing student paraphrases in the intelligent tutoring system iSTART. The approach is based on measuring the semantic similarity between ...
118
click to vote
RE
2008
Springer
14 years 11 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...