1411 search results - page 188 / 283 » Case Studies of an Insider Framework |
RTA
1993
Springer
14 years 1 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...
ESCIENCE
2007
IEEE
14 years 25 days ago
2007
IEEE
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
EXPCS
2007
14 years 25 days ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
DSRT
2009
IEEE
14 years 25 days ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
HRI
2007
ACM
14 years 25 days ago
2007
ACM
Effective human/robot interfaces which mimic how humans interact with one another could ultimately lead to robots being accepted in a wider domain of applications. We present a fr...