3468 search results - page 315 / 694 » An open logical framework |
169
click to vote
MKM
2007
Springer
16 years 26 days ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
161
click to vote
ISM
2006
IEEE
16 years 23 days ago
2006
IEEE
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
199
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
152
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
We present a general framework for constructing families of elliptic curves of prime order with prescribed embedding degree. We demonstrate this method by constructing curves with ...
170
click to vote
HCI
2007
15 years 8 months ago
2007
Participative software systems are a new class of software systems whose development does not end at the deployment but requires continued user participation and contribution. They...