Sciweavers

10066 search results - page 342 / 2014
» A Technique for Information System Integration
Sort
View
248
Voted
ISAS
2005
Springer
16 years 1 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
303
Voted
IIWAS
2008
15 years 9 months ago
Cross-domain information and service interoperability
The growing trends towards integrating legacy applications with new systems in a network-centric environment has introduced yet another level of complexity beyond those we witness...
Kamran Sartipi, Azin Dehmoobad
204
Voted
ASSETS
2009
ACM
16 years 2 months ago
Comparing evaluation techniques for text readability software for adults with intellectual disabilities
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
Matt Huenerfauth, Lijun Feng, Noemie Elhadad
187
Voted
FCCM
1999
IEEE
134views VLSI» more  FCCM 1999»
15 years 12 months ago
Runlength Compression Techniques for FPGA Configurations
The time it takes to reconfigure FPGAs can be a significant overhead for reconfigurable computing. In this paper we develop new compression algorithms for FPGA configurations that...
Scott Hauck, William D. Wilson
197
Voted
CLEF
2003
Springer
16 years 23 days ago
ITC-irst at CLEF 2003: Monolingual, Bilingual, and Multilingual Information Retrieval
This paper reports on the participation of ITC-irst in the Cross Language Evaluation Forum 2003; in particular, in the monolingual, bilingual, small multilingual, and spoken docum...
Nicola Bertoldi, Marcello Federico