2934 search results - page 215 / 587 » Universality in Multi-Agent Systems |
138
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
191
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
140
click to vote
ECIS
2000
15 years 7 months ago
2000
- This paper illustrates how internet-based learning information systems can be used to reengineer undergraduate teaching in the age of mass higher education. We describe current p...
162
click to vote
LOGCOM
2010
15 years 5 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
255
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Special-purpose social sites can offer valuable services to well-defined, closed, communities, e.g., in a university or in a corporation. The purpose of this demo is to show the c...