928 search results - page 60 / 186 » Interpolation-sequence based model checking |
110
Voted
DLOG
2009
14 years 10 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
97
Voted
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
102
Voted
MODELLIERUNG
2004
15 years 2 months ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
91
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
131
Voted
AAAI
2006
15 years 2 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...