Sciweavers

7366 search results - page 192 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
132
Voted
ICSM
2009
IEEE
15 years 11 months ago
Maintenance and agile development: Challenges, opportunities and future directions
Software entropy is a phenomenon where repeated changes gradually degrade the structure of the system, making it hard to understand and maintain. This phenomenon imposes challenge...
Geir Kjetil Hanssen, Aiko Fallas Yamashita, Reidar...
WIKIS
2009
ACM
15 years 11 months ago
WiSyMon: managing systems monitoring information in semantic Wikis
The work presented in the poster describes our collaborative approach to managing systems monitoring information in a Semantic Wiki. This allows to extend the applicability of man...
Frank Kleiner, Andreas Abecker, Sven F. Brinkmann
CAISE
2005
Springer
15 years 10 months ago
Understanding the Requirements on Modelling Techniques
Abstract. The focus of this paper is not on the requirements of an information system to be developed, but rather on the requirements that apply to the modelling techniques used du...
Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P...
MICS
2008
129views more  MICS 2008»
15 years 4 months ago
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
Josef Urban, Geoff Sutcliffe
148
Voted
CIKM
2010
Springer
15 years 3 months ago
Components for information extraction: ontology-based information extractors and generic platforms
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...
Daya C. Wimalasuriya, Dejing Dou