3718 search results - page 673 / 744 » Programming by Integration in Robotics |
101
click to vote
JLP
2011
14 years 4 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
ECEASST
2010
14 years 4 months ago
2010
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
JCIT
2010
14 years 4 months ago
2010
This research constructs a design-oriented, Internet-mediated, and knowledge-sharing architecture. Therein XML files serve as the basic exchange and storage format of knowledge te...
JMLR
2010
14 years 4 months ago
2010
The topic of the paper is computer testing of (probabilistic) conditional independence (CI) implications by an algebraic method of structural imsets. The basic idea is to transfor...
TPDS
2010
14 years 4 months ago
2010
The importance of transient faults is predicted to grow due to current technology trends of increased scale of integration. One of the components that will be significantly affecte...