4350 search results - page 336 / 870 » Case studies for contract-based systems |
148
click to vote
ECIS
2003
15 years 8 months ago
2003
Both public media and IS research have produced a detailed view of different risks associated with computers. Measures to prevent systems risks from occurring are also well docume...
194
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
194
click to vote
ECEASST
2008
15 years 6 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
167
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
173
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— The main focus of space-time coding design and analysis for MIMO systems has been so far focused on singleuser systems. For single-user systems, transmit diversity schemes suff...