3555 search results - page 416 / 711 » Security-Critical System Development with Extended Use Cases |
157
click to vote
JASSS
1998
15 years 6 months ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
179
click to vote
IANDC
2010
15 years 5 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
147
click to vote
IJKWI
2010
15 years 5 months ago
2010
: The development of a captioning system that supports the real-time understanding of monologue speech such as lectures and commentaries is required. In monologues, since a sentenc...
178
click to vote
JMLR
2010
15 years 1 months ago
2010
Networks are becoming a unifying framework for modeling complex systems and network inference problems are frequently encountered in many fields. Here, I develop and apply a gener...
192
click to vote
WIOPT
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—We focus on resource allocation for energy harvesting devices. We analytically and numerically evaluate the performance of algorithms that determine time fair energy all...