Sciweavers

4419 search results - page 101 / 884
» Information Science in Transition
Sort
View
FC
2010
Springer
141views Cryptology» more  FC 2010»
15 years 10 months ago
When Information Improves Information Security
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
Jens Grossklags, Benjamin Johnson, Nicolas Christi...
IJMSO
2007
106views more  IJMSO 2007»
15 years 6 months ago
A Semantic Web system for supporting teachers using ontology alignment
: In Japan, it is important to provide teachers of Information Technology Education (IT) with a powerful help system that can locate and provide access to a variety of useful infor...
Toshinobu Kasai, Haruhisa Yamaguchi, Kazuo Nagano,...
HICSS
2003
IEEE
112views Biometrics» more  HICSS 2003»
16 years 3 days ago
Balanced Scorecard Driven Business Process Definition Using XML
During the last decade a variety of information technologies have emerged relating to business process
Carolyn McGregor
LICS
2009
IEEE
16 years 1 months ago
Expressiveness and Closure Properties for Quantitative Languages
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
SPIN
2005
Springer
16 years 8 days ago
An Incremental Heap Canonicalization Algorithm
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
Madanlal Musuvathi, David L. Dill