Sciweavers

2594 search results - page 456 / 519
» Elements of a Theory of Simulation
Sort
View
JCST
2010
189views more  JCST 2010»
15 years 29 days ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
JLP
2010
85views more  JLP 2010»
15 years 29 days ago
Synchronous Kleene algebra
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
Cristian Prisacariu
SEMWEB
2010
Springer
15 years 27 days ago
Theoretical foundations and engineering tools for building ontologies as reference conceptual models
Abstract. Perhaps the most fundamental notion underlying the desiderata for a successful Semantic Web is Semantic Interoperability. In this context, ontologies have been more and m...
Giancarlo Guizzardi
TCAD
2010
168views more  TCAD 2010»
15 years 26 days ago
An MILP-Based Performance Analysis Technique for Non-Preemptive Multitasking MPSoC
For real-time applications, it is necessary to estimate the worst-case performance early in the design process without actual hardware implementation. While the non-preemptive task...
Hoeseok Yang, Sungchan Kim, Soonhoi Ha
TWC
2010
15 years 25 days ago
Impact of mobile node density on detection performance measures in a hybrid sensor network
We investigate the impact of mobile node density on several detection performance measures for stationary target detection by a hybrid sensor network consisting of both static and ...
Thakshila Wimalajeewa, Sudharman K. Jayaweera