3814 search results - page 466 / 763 » YAPI: application modeling for signal processing systems |
191
click to vote
DASFAA
2003
IEEE
15 years 12 months ago
2003
IEEE
Peer-to-peer (P2P) technology can be naturally integrated with mobile agent technology in Internet applications, taking advantage of the autonomy, mobility, and efficiency of mobi...
185
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The growth of the Internet in the last years has been pushed by increasing requirements in terms of capacity, security and reliability. Moreover, improvements in multimedia appl...
202
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
171
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
203
click to vote
GI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...