2250 search results - page 329 / 450 » Interactive Explanation of Software Systems |
162
click to vote
CACM
2005
15 years 4 months ago
2005
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
260
click to vote
TASE
2012
IEEE
13 years 12 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
180
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
128
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
141
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...