Sciweavers

5228 search results - page 943 / 1046
» Case Studies for Software Engineers
Sort
View
WSC
1997
15 years 2 months ago
A Sortation System Model
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
Arun Jayaraman, Ramu Narayanaswamy, Ali K. Gunal
AAAI
1996
15 years 2 months ago
Interactive Information Retrieval Systems with Minimalist Representation
Almost any information you might want is becoming available on-line. The problem is how to find what you need. One strategy to improve access to existing information sources, is i...
Eric A. Domeshek, Smadar Kedar, Andrew S. Gordon
DILS
2010
Springer
15 years 2 months ago
Search Computing: Integrating Ranked Data in the Life Sciences
Search computing has been proposed to support the integration of the results of search engines with other data and computational resources. In essence, in search computing, search ...
Marco Masseroli, Norman W. Paton, Giorgio Ghisalbe...
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 2 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 1 months ago
Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
Omar I. Al-Bataineh, Ron van der Meyden