26957 search results - page 156 / 5392 » Information Systems Modernization |
154
click to vote
AISC
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
129
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern trends in manufacturing demand more flexible and adaptive handling of production order execution. Due to its distributed nature, agent-based systems become a suitable solut...
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
117
click to vote
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...