1397 search results - page 25 / 280 » On the Need for Practical Formal Methods |
ASIAN
2005
Springer
14 years 1 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Many access control policy languages, e.g., XACML, allow a policy to contain multiple sub-policies, and the result of the policy on a request is determined by combining the result...
ASM
2000
ASM
14 years 1 hour ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
KER
2008
13 years 7 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
BDA
1998
13 years 9 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...