1134 search results - page 6 / 227 » Towards a Theory of Information Systems: The FRISCO Approach |
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
MKM
2007
Springer
14 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
DEBS
2007
ACM
13 years 11 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
IJBIS
2010
13 years 4 months ago
2010
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
ICCS
1997
Springer
13 years 11 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...