8266 search results - page 346 / 1654 » Information About the Journal |
171
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes our ongoing work on a system that provides information about network resources and related communication facilities to applications running on a mobile device...
174
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
174
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
168
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
141
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper describes the usefulness of e-portfolios for students, teachers, administrators and human resource personnel for learning, assessment and employment purposes. It is impo...