326 search results - page 37 / 66 » Embedding Real Time in Stochastic Process Algebras |
124
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
DSD
2006
IEEE
15 years 7 months ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
125
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
109
click to vote
AIPS
2008
15 years 3 months ago
2008
We consider the problem of cooperative multiagent planning under uncertainty, formalized as a decentralized partially observable Markov decision process (Dec-POMDP). Unfortunately...
103
Voted
PE
2000
Springer
15 years 1 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...