9110 search results - page 416 / 1822 » Formally-Based Design Evaluation |
138
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
165
click to vote
CHIMIT
2008
ACM
15 years 8 months ago
2008
ACM
An important factor that impacts the effectiveness of security systems within an organization is the usability of security management tools. In this paper, we present a survey of ...
193
click to vote
ECCE
2007
15 years 8 months ago
2007
Argument diagramming tools can improve reasoning and learning. They are likely to have a significant place in future virtual learning environments whose design will be dominated b...
207
click to vote
NETWORKING
2007
15 years 8 months ago
2007
Abstract. The topology creation is one of the most important step for the design of an overlay network. Traffic characteristic and volume, and behavior of nodes which can be sel...
186
click to vote
IADIS
2004
15 years 8 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...