1397 search results - page 141 / 280 » On the Need for Practical Formal Methods |
110
Voted
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...
138
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
121
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
163
click to vote
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
In order to enable knowledge sharing and reuse among software entities, artificial intelligence researchers have proposed to develop ‘ontologies’ as the explicit formal specifi...
173
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...