1153 search results - page 33 / 231 » Compositional Specification Calculus for Information Systems... |
136
Voted
ICSOC
2009
Springer
15 years 1 months ago
2009
Springer
Ad-hoc and situational applications for personal use will gain more and more traction in the work support for knowledge workers (KWers). Personal information is a key element in th...
187
Voted
IEEESP
2011
14 years 7 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
123
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
149
Voted
JLP
2006
15 years 3 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
116
Voted
SAC
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents a workflow specification language developed in the WIDE project. The language provides a rich organisation model, an information model including presentation d...