2004 search results - page 301 / 401 » Comparison of Model Checking Tools for Information Systems |
ICSE
2005
IEEE-ACM
15 years 12 months ago
2005
IEEE-ACM
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
DOLAP
2009
ACM
15 years 6 months ago
2009
ACM
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
109
click to vote
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
109
click to vote
COLING
2010
14 years 6 months ago
2010
In this paper the development of an opinion summarization system that works on Bengali News corpus has been described. The system identifies the sentiment information in each docu...
103
click to vote
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Super-resolution is a technique to restore the detailed information from the degenerated data. Lots of previous work is for 2D images while super-resolution of 3D models ...