569 search results - page 61 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
101
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
CSCWD
2009
Springer
15 years 6 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
100
click to vote
GCC
2007
Springer
15 years 6 months ago
2007
Springer
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...