6800 search results - page 738 / 1360 » Testing with Functions as Specifications |
188
click to vote
HICSS
2003
IEEE
16 years 12 days ago
2003
IEEE
This paper proposes a knowledge map management system to facilitate knowledge management in virtual communities of practice. To realize the proposed knowledge map management, we d...
211
click to vote
ICSE
2003
IEEE-ACM
16 years 9 days ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
200
click to vote
ICSM
2002
IEEE
16 years 1 days ago
2002
IEEE
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
204
click to vote
IEEEINTERACT
2002
IEEE
16 years 1 days ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
169
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...