1411 search results - page 188 / 283 » Case Studies of an Insider Framework |
RTA
1993
Springer
15 years 3 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...
105
click to vote
ESCIENCE
2007
IEEE
15 years 3 months 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...
100
Voted
EXPCS
2007
15 years 3 months 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
15 years 3 months 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
15 years 3 months 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...