6343 search results - page 917 / 1269 » Development of a Cartographic Language |
179
click to vote
JSW
2008
15 years 6 months ago
2008
Usability is a multi-dimensional characteristic of a computer system. This paper focuses on usability as a measurement of interaction between the user and the system. The research ...
191
click to vote
JSW
2008
15 years 6 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
181
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper addresses the role of Personal Digital Assistants (PDAs) in electronic meetings. Several real-world scenarios of PDA usage in meetings are defined using a pattern lang...
185
Voted
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
Traditional access control mechanisms aim to prevent illegal actions a-priori occurrence, i.e. before granting a request for a document. There are scenarios however where the secu...