4759 search results - page 684 / 952 » Software Development Based on Software Pattern Evolution |
190
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
186
click to vote
IAAI
2003
15 years 8 months ago
2003
The crisis in science education and the need for innovative computer-based learning environments has prompted us to develop a multi-agent system, Betty’s Brain that implements t...
153
click to vote
TNC
2004
15 years 8 months ago
2004
There are activities aiming at abling users to dock to a wireless or wired network while visiting organisations outside the premises of their usual connection to the network. Thes...
185
click to vote
CISSE
2008
Springer
15 years 7 months ago
2008
Springer
— Human centred services are increasingly common in the market of mobile devices. However, affective aware services are still scarce. In turn, the recognition of secondary emotio...
169
click to vote
ECEASST
2008
15 years 6 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...