2588 search results - page 161 / 518 » Engineering Systems Which Generate Emergent Functionalities |
130
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
174
click to vote
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
143
click to vote
TCS
2008
15 years 4 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
140
click to vote
IV
2009
IEEE
15 years 11 months ago
2009
IEEE
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
126
click to vote
QSHINE
2005
IEEE
15 years 10 months ago
2005
IEEE
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...