1439 search results - page 164 / 288 » A Component Model Engineered with Components and Aspects |
141
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
125
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
130
Voted
IEEECIT
2007
IEEE
15 years 10 months ago
2007
IEEE
The User requirements of many web-based services are dynamically and continuously changing even during the service time itself. For that reason, web service companies always keep ...
107
click to vote
ICCD
2005
IEEE
16 years 16 days ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...
152
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...