3435 search results - page 227 / 687 » Aspect Model Unweaving |
152
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
148
click to vote
SAC
2005
ACM
16 years 3 days ago
2005
ACM
In this paper, two of the currently available Web Engineering solutions (UWE and OO-H) are analysed with regard to the question whether websites created with them and their tools ...
188
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
169
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
289
click to vote
ICDE
1998
IEEE
16 years 8 months ago
1998
IEEE
The association of timestamps with various data items such as tuples or attribute values is fundamental to the management of time-varying information. Using intervals in timestamp...