4286 search results - page 89 / 858 » Formalizing Service Interactions |
163
click to vote
HISB
2011
14 years 5 months ago
2011
—We address the problem of finding a mathematical model for the genetic network regulating the stress response of the yeast Saccharomyces cerevisiae to the fungicide mancozeb. A...
155
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
148
click to vote
IEE
2008
15 years 5 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
198
click to vote
ACMICEC
2006
ACM
16 years 5 days ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
171
click to vote
RIAO
2007
15 years 7 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...