1180 search results - page 118 / 236 » Total Functional Software Engineering - Overview Paper |
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
COMPSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
100
click to vote
SCAM
2005
IEEE
15 years 4 months ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
86
Voted
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...