3336 search results - page 353 / 668 » Communication Model to Support Rapid Application Development |
211
click to vote
KBSE
2005
IEEE
16 years 13 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...
199
click to vote
DMIN
2009
15 years 4 months ago
2009
While the emerging field of privacy preserving data mining (PPDM) will enable many new data mining applications, it suffers from several practical difficulties. PPDM algorithms are...
175
click to vote
BPM
2003
Springer
16 years 2 days ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
190
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
We introduce a framework for supporting crowds of participants in collaborative virtual environments (CVEs). The framework is realised as an extension to our previous spatial mode...
195
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...