Sciweavers

7206 search results - page 1170 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
EUROSYS
2009
ACM
16 years 1 months ago
Isolating web programs in modern browser architectures
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
Charles Reis, Steven D. Gribble
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 10 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
AMTA
2004
Springer
15 years 9 months ago
The Georgetown-IBM Experiment Demonstrated in January 1954
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
W. John Hutchins
KBSE
2000
IEEE
15 years 8 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula
INTERSPEECH
2010
14 years 11 months ago
Vocabulary independent spoken query: a case for subword units
In this work, we describe a subword unit approach for information retrieval of items by voice. An algorithm based on the minimum description length (MDL) principle converts an ind...
Evandro B. Gouvêa, Tony Ezzat
« Prev « First page 1170 / 1442 Last » Next »