15888 search results - page 2831 / 3178 » Supporting human-intensive systems |
152
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
126
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Recent progress in information extraction has shown how to automatically build large ontologies from high-quality sources like Wikipedia. But knowledge evolves over time; facts ha...
145
click to vote
ESWS
2010
Springer
15 years 7 months ago
2010
Springer
Building and maintaining thesauri are complex and laborious tasks. PoolParty is a Thesaurus Management Tool (TMT) for the Semantic Web, which aims to support the creation and maint...
121
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
172
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...