Sciweavers

3868 search results - page 548 / 774
» Open Systems in TLA
Sort
View
IFIP
2005
Springer
16 years 2 days ago
A Logic for Analysing Subterfuge in Delegation Chains
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
Hongbin Zhou, Simon N. Foley
IJCNLP
2005
Springer
16 years 2 days ago
A Lexicon-Constrained Character Model for Chinese Morphological Analysis
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
Yao Meng, Hao Yu, Fumihito Nishino
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
16 years 1 days ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
CSCW
2004
ACM
16 years 4 hour ago
Group awareness in distributed software development
Open-source software development projects are almost always collaborative and distributed. Despite the difficulties imposed by distance, these projects have managed to produce lar...
Carl Gutwin, Reagan Penner, Kevin A. Schneider
JCDL
2004
ACM
130views Education» more  JCDL 2004»
16 years 2 hour ago
ETANA-DL: a digital library for integrated handling of heterogeneous archaeological data
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...
Unni Ravindranathan, Rao Shen, Marcos André...