Sciweavers

3561 search results - page 167 / 713
» Design: One, but in different forms
Sort
View
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 10 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
WSC
2007
15 years 8 months ago
Visualization of users' activities in a specific environment
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
Zdenek Mikovec, Ivo Malý, Pavel Slaví...
AH
2008
Springer
15 years 8 months ago
Facilitating Collaboration in Virtual Environments
The evolution of learning systems brought improvements to the functionality of their components by offering support and mediating learning, communication and collaboration. However...
Diana Chihaia
GLOBECOM
2007
IEEE
15 years 6 months ago
Path Planning for Network Performance
— Path planning and network design are often treated by architects of mobile communication networks as separate problems. In fact, most mobile ad hoc network (MANET) designs do n...
Alex Fridman, Steven Weber, Charles Graff, Moshe K...
JBI
2006
15 years 6 months ago
Conceptualizing the world: Lessons from history
Throughout history, philosophers, scientists, and other scholars have named and organized the salient elements of the world. These efforts have led to conceptualizations that diff...
Alexa T. McCray