3619 search results - page 587 / 724 » Developing Knowledge-Based Systems using the Semantic Web |
100
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
120
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
128
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
120
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
168
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...