4286 search results - page 360 / 858 » Formalizing Service Interactions |
181
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The paper reports a study of a videoconference-based environment in decentralized university education and factors determining the success of teaching and learning in the environm...
221
Voted
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
191
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...
184
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
175
click to vote
ISIM
2007
15 years 8 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...