Sciweavers

179 search results - page 10 / 36
» Foundations for Transparency Requirements Engineering
Sort
View
ICDE
2010
IEEE
189views Database» more  ICDE 2010»
14 years 9 months ago
I/O-Efficient Statistical Computing with RIOT
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
Jun Yang 0001, Weiping Zhang, Yi Zhang
IESA
2009
13 years 7 months ago
Organizational Interoperability Supported through Goal Alignment with BMM and Service Collaboration with SoaML
Organisational interoperability requires a matching of goals and provided and required services between interacting organizations. It is being shown that the recent OMG standards ...
Fenglin Han, Espen Moller, Arne-Jørgen Berr...
DAGSTUHL
2007
13 years 11 months ago
Exploiting the ASM method within the Model-driven Engineering paradigm
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
POPL
2008
ACM
14 years 10 months ago
Engineering formal metatheory
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
Arthur Charguéraud, Benjamin C. Pierce, Bri...
SIGIR
2004
ACM
14 years 3 months ago
A search engine for historical manuscript images
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
Toni M. Rath, R. Manmatha, Victor Lavrenko