6171 search results - page 467 / 1235 » The FrameNet Data and Software |
149
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
133
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
The jGRASP lightweight IDE provides object viewers that automatically generate dynamic, statebased visualizations of objects and primitive variables in Java. Multiple synchronized...
176
click to vote
COMPSAC
2006
IEEE
16 years 27 days ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
174
click to vote
SCAM
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
182
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...