5434 search results - page 1017 / 1087 » Tool support for MOLA |
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
To cope with society’s demand for transparency and corruption prevention, the Brazilian Office of the Comptroller General (CGU) has carried out a number of actions, including: aw...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
DOCENG
2009
ACM
14 years 4 months ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...
ICAIL
2009
ACM
14 years 4 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
INDIASE
2009
ACM
14 years 4 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...