1338 search results - page 132 / 268 » Consistent Code Generation from UML Models |
121
click to vote
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
130
click to vote
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
150
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of source signals...
117
click to vote
WISE
2007
Springer
15 years 9 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
125
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...