423 search results - page 72 / 85 » Formal access control analysis in the software development p... |
SELMAS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
BMCBI
2005
13 years 7 months ago
2005
Backgorund: The completion of the Human Genome Project has resulted in large quantities of biological data which are proving difficult to manage and integrate effectively. There i...
ER
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
GD
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...