Sciweavers

2403 search results - page 262 / 481
» Using the WinWin Spiral Model: A Case Study
Sort
View
ICEBE
2007
IEEE
103views Business» more  ICEBE 2007»
15 years 6 months ago
Value and Goal Driven Design of E-Services
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
Martin Henkel, Paul Johannesson, Erik Perjons, Jel...
ENTCS
2002
91views more  ENTCS 2002»
15 years 6 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...
COMCOM
2008
120views more  COMCOM 2008»
15 years 6 months ago
Game theoretic models for detecting network intrusions
In this paper, we study using game theory the problem of detecting intrusions in wired infrastructure networks. Detection is accomplished by sampling a subset of the transmitted p...
Hadi Otrok, Mona Mehrandish, Chadi Assi, Mourad De...
HICSS
2005
IEEE
163views Biometrics» more  HICSS 2005»
16 years 5 days ago
Survey of Strategic Alignment Impacts on Organizational Performance in International European Companies
act The strategic use of technology based information systems (IS/IT) is a fundamental issue for every business. This is particularly true in the case of firms that engage in inter...
Hajer Kefi, Michel Kalika
EUROCOLT
1999
Springer
15 years 10 months ago
Learning Range Restricted Horn Expressions
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
Roni Khardon