1515 search results - page 19 / 303 » On the relation of aspects and monads |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
IIWAS
2007
13 years 9 months ago
2007
Security and trust aspects, perceived as difficult to quantify, have been neglected in various service interactions. However, factors related to security and trust are in fact cru...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
DEON
2006
Springer
13 years 11 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
CSREAEEE
2006
13 years 9 months ago
2006
- This paper investigates issues on culture and websites design for e-commerce, and also relates them to advanced requirements engineering practices. E-commerce parishioners and us...