144 search results - page 18 / 29 » Modeling conversation policies using permissions and obligat... |
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
135
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
IJSN
2008
14 years 11 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
106
click to vote
ICDCSW
2005
IEEE
15 years 5 months ago
2005
IEEE
DiamondHelp is a reusable Java framework for building graphical user interfaces based on the collaborative paradigm of human-computer interaction. DiamondHelp´s graphical design ...
DSS
2008
14 years 11 months ago
2008
This study models the supply chain related cash flow risks for a business entity measured by the standard deviations of cash inflows, outflows, and netflows of each period in a pl...