Sciweavers

124 search results - page 14 / 25
» Meta-ontology for automated information integration of parts...
Sort
View
RSP
2005
IEEE
14 years 2 months ago
Porting DSP Applications across Design Tools Using the Dataflow Interchange Format
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
EUROPAR
2003
Springer
14 years 1 months ago
Distributed Application Monitoring for Clustered SMP Architectures
Abstract. Performance analysis for terascale computing requires a combination of new concepts including distribution, on-line processing and automation. As a foundation for tools r...
Karl Fürlinger, Michael Gerndt
KR
2010
Springer
14 years 1 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
ESWS
2007
Springer
14 years 2 months ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...
LICS
2005
IEEE
14 years 2 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich