738 search results - page 39 / 148 » Object Orientation and Formal Techniques |
154
click to vote
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
— Generating test data for Object-Oriented (OO) software is a hard task. Little work has been done on the subject, and a lot of open problems still need to be investigated. In th...
CSUR
2008
14 years 11 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
WWW
2006
ACM
15 years 5 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
106
click to vote
ER
1999
Springer
15 years 3 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
CC
2005
Springer
15 years 4 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...