28 search results - page 3 / 6 » Specifying and Enforcing Intertask Dependencies |
82
Voted
ER
2004
Springer
15 years 3 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
180
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
119
Voted
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
DSOM
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
82
Voted
AIMS
2008
Springer
15 years 8 days ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...