32 search results - page 4 / 7 » Towards a Deep Metamodelling Based Formalization of Componen... |
100
click to vote
DBSEC
2007
15 years 20 days ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
VLSID
2007
IEEE
15 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
RULEML
2010
Springer
14 years 9 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
127
click to vote
CBSQ
2003
Springer
15 years 4 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...