10159 search results - page 464 / 2032 » System Design Validation Using Formal Models |
144
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
162
click to vote
JOT
2006
15 years 4 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
125
click to vote
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
103
click to vote
MONET
2006
15 years 4 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
159
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...