6174 search results - page 995 / 1235 » The language of social software |
192
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...
164
click to vote
EUROMICRO
2005
IEEE
16 years 6 days ago
2005
IEEE
Objective: Formal definition of composition assessment metrics for CBSE, using an extension of the CORBA Component Model metamodel as the ontology for describing component assembl...
168
click to vote
FDL
2005
IEEE
16 years 6 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
163
click to vote
IWPC
2005
IEEE
16 years 5 days ago
2005
IEEE
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-...
187
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...