Sciweavers

11 search results - page 2 / 3
» An Interactive Rewriting Tool for Machine Acceptable Sentenc...
Sort
View
CCS
2008
ACM
13 years 7 months ago
Flexible security configuration for virtual machines
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
Sandra Rueda, Yogesh Sreenivasan, Trent Jaeger
SIGSOFT
2010
ACM
13 years 3 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ACL
1998
13 years 6 months ago
A Text Input Front-end Processor as an Information Access Platform
This paper presents a practical foreign language writing support tool which makes it much easier to utilize dictionary and example sentence resources. Like a Kana-Kanji conversion...
Shinichi Doi, Shin-ichiro Kamei, Kiyoshi Yamabana
BMCBI
2010
129views more  BMCBI 2010»
13 years 5 months ago
LAITOR - Literature Assistant for Identification of Terms co-Occurrences and Relationships
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
Adriano Barbosa-Silva, Theodoros G. Soldatos, Ivan...
IJFCS
2006
130views more  IJFCS 2006»
13 years 5 months ago
Mealy multiset automata
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
Gabriel Ciobanu, Viorel Mihai Gontineac