677 search results - page 44 / 136 » Dependent Types from Counterexamples |
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
101
click to vote
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The results of knowledge discovery in databases could vary depending on the data mining method. There are several ways to select the most appropriate data mining method dynamicall...
TSP
2010
14 years 4 months ago
2010
Abstract--This correspondence revisits the joint transceiver optimization problem for multiple-input multiple-output (MIMO) channels. The linear transceiver as well as the transcei...
ICDCSW
2008
IEEE
15 years 4 months ago
2008
IEEE
Energy consumption is one of the critical concerns in sensor networks. In particular, there is substantial interest to investigate the distribution of the energy consumption among...