Sciweavers

124
Voted
CAISE
2006
Springer
15 years 7 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck
101
Voted
CAISE
2006
Springer
15 years 7 months ago
Goal-oriented Analysis of Regulations
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
Robert Darimont, Michel Lemoine
123
Voted
CAISE
2006
Springer
15 years 7 months ago
Regulation in Information Systems at the Level of Tunement
Information Systems (IS) have a major impact on human activities. They are not only "objects or products" because they directly concern our access to knowledge, our possi...
Michel Léonard, Abdelaziz Khadraoui, Jolita...
130
Voted
DASFAA
2004
IEEE
123views Database» more  DASFAA 2004»
15 years 7 months ago
A Meta-search Method with Clustering and Term Correlation
A meta-search engine propagates user queries to its participant search engines following a server selection strategy. To facilitate server selection, the metasearch engine must ke...
Dyce Jing Zhao, Dik Lun Lee, Qiong Luo
122
Voted
CAISE
2006
Springer
15 years 7 months ago
A Process-Ontological Model for Software Engineering
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
Jari Palomäki, Harri Keto