4460 search results - page 239 / 892 » Formal methods for interactive systems |
133
click to vote
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we study web services methods and approaches to enable real-time communication services over IP. This approach extends web services methodologies from service integ...
127
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
It is of the utmost importance, we argue, to specifically tailor disaster response systems with users' collaboration in mind. Such an approach, building on top of, and extend...
151
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
141
Voted
IJCBDD
2010
15 years 3 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
164
click to vote
CLEIEJ
2006
15 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...