2836 search results - page 290 / 568 » Model Checking for Software Architectures |
151
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
141
click to vote
ISPASS
2003
IEEE
15 years 10 months ago
2003
IEEE
MPEG-4 is an important international standard with wide applicability. This paper focuses on MPEG-4’s main profile, video, whose approach allows more efficiency in coding and ...
161
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
157
click to vote
IJMTM
2007
15 years 4 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
138
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...