2050 search results - page 186 / 410 » A formal foundation for process modeling |
298
click to vote
WSC
2007
15 years 9 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
185
click to vote
REFSQ
2010
Springer
2010
Springer
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
15 years 8 months ago
[Context and motivation] The increasing demand of software systems to process and manage sensitive information has led to the need that software systems should comply with relevant...
217
click to vote
IEEEICCI
2003
IEEE
15 years 12 months ago
2003
IEEE
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...
183
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
177
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...