322 search results - page 21 / 65 » A Socio-cognitive Approach to Modeling Policies in Open Envi... |
JUCS
2010
13 years 2 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
COLCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Computer supported collaboration systems, or groupware, are being used more and more in the real life. In the recent years, we are witnessing an increasing demand for supportin...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
ERCIMDL
2005
Springer
14 years 1 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...