Sciweavers

3825 search results - page 628 / 765
» The Language of Time: A Reader
Sort
View
CLEF
2000
Springer
15 years 2 months ago
The Use of NLP Techniques in CLIR
The application of nlp techniques to improve the results of information retrieval is still considered as a controversial issue, whereas nlp techniques in cross-language informatio...
Bärbel Ripplinger
ITICSE
2010
ACM
15 years 2 months ago
PhidgetLab: crossing the border from virtual to real-world objects
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
WOSP
2010
ACM
15 years 2 months ago
A framework for utility-based service oriented design in SASSY
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
Daniel A. Menascé, John M. Ewing, Hassan Go...
DSRT
1999
IEEE
15 years 2 months ago
Distributed Interaction in Virtual Spaces
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
Alois Ferscha, James Johnson
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 2 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...