4286 search results - page 360 / 858 » Formalizing Service Interactions |
205
Voted
HICSS
2003
IEEE
16 years 22 days 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...
248
Voted
AGENTCL
2003
Springer
16 years 20 days 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...
218
click to vote
CMSB
2006
Springer
15 years 11 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...
215
click to vote
FM
2008
Springer
15 years 9 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 ...
196
Voted
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...