Sciweavers

6155 search results - page 405 / 1231
» A language for multiple models of computation
Sort
View
234
Voted
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
APWEB
2006
Springer
15 years 10 months ago
Building Content Clusters Based on Modelling Page Pairs
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
Christoph Meinel, Long Wang 0002
191
Voted
ICIA
2007
15 years 9 months ago
Modeling Human-Agent Interaction with Active Ontologies
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...
Didier Guzzoni, Charles Baur, Adam Cheyer
138
Voted
ISSS
2002
IEEE
106views Hardware» more  ISSS 2002»
15 years 11 months ago
Modeling Assembly Instruction Timing in Superscalar Architectures
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
William Fornaciari, Vito Trianni, Carlo Brandolese...
180
Voted
DCC
2006
IEEE
16 years 6 months ago
Applications of representation theory to wireless communications
In this paper we demonstrate a new and original way to apply the representation theory of finite groups to the development of space-time codes for use in multiple antenna wireless ...
Ali Miri, Monica Nevins, Terasan Niyomsataya