5182 search results - page 370 / 1037 » COTS-Based Requirements Engineering |
175
click to vote
WISER
2004
ACM
16 years 1 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
208
click to vote
WOSP
2004
ACM
16 years 1 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
188
click to vote
CSMR
2003
IEEE
16 years 26 days ago
2003
IEEE
Software visualization tools face many challenges in terms of their implementation, including scalability, usability, adaptability, and durability. Such tools, like many other res...
196
click to vote
ICDCS
2003
IEEE
16 years 25 days ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
192
click to vote
SIGSOFT
2003
ACM
16 years 24 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...