4438 search results - page 372 / 888 » The Case for Collaborative Programming |
189
Voted
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
195
click to vote
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...
183
click to vote
NORDICHI
2006
ACM
16 years 1 months ago
2006
ACM
Experience Design is an emergent field of study, and various approaches to the field abound. In this paper, we take a pragmatic approach to identifying key aspects of an experienc...
201
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
Co-occurrence data is quite common in many real applications. Latent Semantic Analysis (LSA) has been successfully used to identify semantic relations in such data. However, LSA c...
240
click to vote
DSRT
2003
IEEE
16 years 11 days ago
2003
IEEE
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...