Sciweavers

7861 search results - page 1340 / 1573
» Orthographic Modeling Environment
Sort
View
CONCUR
2005
Springer
16 years 5 days ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
CONTEXT
2005
Springer
16 years 5 days ago
Context-Aware Configuration: A Study on Improving Cell Phone Awareness
Abstract. As the number of mobile devices we carry grows, the job of managing those devices throughout the day becomes cumbersome. This is especially true for cell phones. Despite ...
Ashraf Khalil, Kay Connelly
DSOM
2005
Springer
16 years 4 days ago
Utilization and SLO-Based Control for Dynamic Sizing of Resource Partitions
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
Zhikui Wang, Xiaoyun Zhu, Sharad Singhal
ERCIMDL
2005
Springer
99views Education» more  ERCIMDL 2005»
16 years 4 days ago
Management and Sharing of Bibliographies
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
Erik Wilde, Sai Anand, Petra Zimmermann
EUC
2005
Springer
16 years 4 days ago
Ubiquitous Learning on Pocket SCORM
With advanced technologies, computer devices have become smaller and powerful. As a result, many people enjoy ubiquitous learning using mobile devices such as Pocket PCs. Pocket PC...
Hsuan-Pu Chang, Wen-Chih Chang, Yun-Long Sie, Nige...
« Prev « First page 1340 / 1573 Last » Next »