2409 search results - page 328 / 482 » Logical systems for structured specifications |
1748
Voted
ICECCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
115
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
141
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...
120
Voted
HPCS
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...
141
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...