1284 search results - page 146 / 257 » On Helping and Interactive Proof Systems |
IEEESCC
2006
IEEE
14 years 4 months ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
ITS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Betty’s Brain is a teachable agent system in the domain of river ecosystems that combines learning by teaching and self-regulation strategies to promote deep learning a...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...