29147 search results - page 121 / 5830 » System Modeling Resurrected |
143
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
236
click to vote
SPEECH
2011
14 years 11 months ago
2011
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...
145
Voted
HICSS
2012
IEEE
14 years 3 days ago
2012
IEEE
The migration to a service based economy has led many firms to emphasize the service component of their product offerings. This shift has led to the emergence of a business model ...
174
click to vote
ACL
2012
13 years 6 months ago
2012
An ideal summarization system should produce summaries that have high content coverage and linguistic quality. Many state-ofthe-art summarization systems focus on content coverage...
126
click to vote
IACR
2011
14 years 4 months ago
2011
This article investigates privacy in Radio Frequency IDentification (RFID) systems. We survey the eight most well-known RFID privacy models. We examine their advantages and drawba...