8582 search results - page 367 / 1717 » Here or There |
197
click to vote
ICCSA
2004
Springer
2004
Springer
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
16 years 7 days ago
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
164
click to vote
ICCSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
151
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
180
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
159
click to vote
IJCNLP
2004
Springer
16 years 7 days ago
2004
Springer
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...