4099 search results - page 547 / 820 » A Framework for Interactive Proof |
205
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
218
click to vote
CACM
2005
15 years 6 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...
163
click to vote
JNS
2010
15 years 1 months ago
2010
We consider statistical mechanics systems defined on a set with some symmetry properties (namely, the set admits an action by a group, which is finitely generated and residually fi...
314
click to vote
TASE
2012
IEEE
14 years 2 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 ...
163
click to vote
STEP
2005
IEEE
16 years 6 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...