8492 search results - page 1303 / 1699 » Modelling and Design of Multi-Agent Systems |
151
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides an overview on a German lighthouse research project called L3 in the area of e-learning systems that supply e-learning services via a virtual private network. ...
183
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
142
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: With the increase in popularity of XML on the Internet, the requirements of database management systems have shifted from traditional transaction-based databases towards the kind...
204
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
318
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...