3040 search results - page 194 / 608 » Synergetic Tool Environments |
137
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...
153
Voted
ISSE
2006
15 years 5 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
213
click to vote
CMC
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
120
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
128
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues arising in large scale dist...