1636 search results - page 131 / 328 » Reasoning About Quantum Systems |
156
click to vote
ICIW
2008
IEEE
16 years 23 days ago
2008
IEEE
—We previously proposed a meeting scheduling system based on mobile agent technology. The users of our system do not need to input all of their schedules unlike the existing grou...
149
click to vote
HICSS
2006
IEEE
16 years 11 days ago
2006
IEEE
Many proposals for electronic payment systems (EPS) have been made but the great majority have failed to achieve widespread adoption. The reasons why some proposals succeed and ot...
178
click to vote
HYBRID
2005
Springer
15 years 12 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
154
click to vote
AAAI
1996
15 years 7 months ago
1996
Expert critiquing systems are a type of humancomputercollaborative system in which a computer agent presents reasoned opinions about a humanagent's problem-solving process fo...
150
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...