2989 search results - page 233 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
174
click to vote
ICEIS
2000
IEEE
15 years 10 months ago
2000
IEEE
: In modern organisations the monolithic information systems of the past are being gradually replaced by networked systems, enabling distributed computing often based on multi-agen...
206
Voted
TACAS
2012
Springer
14 years 1 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
187
Voted
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
148
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
158
click to vote
GLOBECOM
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— In this paper, we propose a novel distributed Interleaved Random Space-Time Code (IR-STC) designed for MultiSource Cooperation (MSC) employing various relaying techniqu...