1515 search results - page 215 / 303 » On the relation of aspects and monads |
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
— This paper provides an initial look at how support for advance reservations affects the complexity of the path selection process in networks. Advance reservations are likely to...
CL
2000
Springer
14 years 1 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
CANDC
1999
ACM
14 years 1 months ago
1999
ACM
The goal of our research is to develop computer systems that support designers’ collective creativity; such systems support individual creative aspects in design through the use...