660 search results - page 81 / 132 » Distributed Reactive XML |
SAM
2004
14 years 11 days ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
IJCAI
1997
14 years 10 days ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
PPL
2008
13 years 11 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
IFIPTM
2010
13 years 9 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
WWW
2001
ACM
14 years 11 months ago
2001
ACM
Recently, the IMS Learning Resource Meta-Data Specification [1] was released, paving the way for efficient repurposing of educational multimedia in a multitude of learning environ...