448 search results - page 67 / 90 » A Meta-Method for Formal Method Integration |
127
Voted
DFG
2003
Springer
15 years 7 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
135
Voted
ECOWS
2009
Springer
15 years 5 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
131
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
122
Voted
LOGCOM
2007
15 years 2 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
134
Voted
CBMS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...