4158 search results - page 492 / 832 » A Framework for Web Science |
137
click to vote
RTA
1993
Springer
15 years 10 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...
188
Voted
ACMSE
2009
ACM
15 years 10 months ago
2009
ACM
The convergence of various multimedia communications that includes voice, video and data presents many opportunities for enabling unified communication but paradoxically leads to ...
193
click to vote
COMPLEX
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
173
click to vote
EXPCS
2007
15 years 10 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...
205
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...