8179 search results - page 429 / 1636 » The PRACTIONIST Development Tool |
165
click to vote
LAWEB
2003
IEEE
16 years 2 days ago
2003
IEEE
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
168
Voted
SOFTVIS
2003
ACM
16 years 2 days ago
2003
ACM
Optimizing the performance of shared-memory NUMA programs remains something of a black art, requiring that application writers possess deep understanding of their programs’ beha...
213
Voted
EMSOFT
2003
Springer
16 years 1 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
176
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a program of research designed to understand how knowledge-sharing and learning can be supported in virtual communities. To conduct this research, we propose ...
179
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...