Sciweavers

1733 search results - page 189 / 347
» On the naturalness of software
Sort
View
COMSWARE
2007
IEEE
16 years 26 days ago
Middleware Services for DRM
Abstract— Lack of generic digital rights management applications has stunted the growth of the media distribution industry. In this paper we point out the need for middleware ser...
Pramod A. Jamkhedkar, Gregory L. Heileman, Iv&aacu...
EDOC
2007
IEEE
16 years 26 days ago
Model-Driven Engineering for Requirements Analysis
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
Benoit Baudry, Clémentine Nebut, Yves Le Tr...
EEMMAS
2007
Springer
16 years 21 days ago
Engineering Business Ecosystems Using Environment-Mediated Interactions
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
César A. Marín, Iain Duncan Stalker,...
FSTTCS
2007
Springer
16 years 20 days ago
Undirected Graphs of Entanglement 2
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
Walid Belkhir, Luigi Santocanale
FSTTCS
2007
Springer
16 years 20 days ago
A Formal Investigation of
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce