5433 search results - page 417 / 1087 » Tool Support for Traceability-Adaptation |
168
click to vote
CAV
2003
Springer
16 years 13 hour ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
189
click to vote
FM
2003
Springer
16 years 3 hour ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
119
click to vote
GCC
2003
Springer
16 years 2 hour ago
2003
Springer
Web service based data exchange has been the trend of EAI. We can create Proxies to expose existing systems as web services. There have been some tools that can help users to const...
193
Voted
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
The application of spectral methods to the software clustering problem has the advantage of producing results that are within a known factor of the optimal solution. Heuristic sea...
180
click to vote
WECWIS
2002
IEEE
15 years 11 months ago
2002
IEEE
“Garbage in. garbage out” is a well-known phrase in computer analysis, and one that comes to mind when mining Web data to draw conclusions about Web users. The challenge is th...