Sciweavers

22698 search results - page 4294 / 4540
» Modeling in Software Engineering
Sort
View
AMAI
2000
Springer
15 years 7 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
IDMS
2000
Springer
138views Multimedia» more  IDMS 2000»
15 years 7 months ago
Middleware Support for Media Streaming Establishment Driven by User-Oriented QoS Requirements
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
Cristian Hesselman, Ing Widya, Aart van Halteren, ...
SIGCOMM
2000
ACM
15 years 7 months ago
Trajectory sampling for direct traffic observation
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
Nick G. Duffield, Matthias Grossglauser
VLDB
2000
ACM
124views Database» more  VLDB 2000»
15 years 7 months ago
Toward Learning Based Web Query Processing
In this paper, we describe a novel Web query processing approach with learning capabilities. Under this approach, user queries are in the form of keywords and search engines are e...
Yanlei Diao, Hongjun Lu, Songting Chen, Zengping T...
DBPL
1991
Springer
98views Database» more  DBPL 1991»
15 years 7 months ago
Structural Recursion as a Query Language
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
Val Tannen, Peter Buneman, Shamim A. Naqvi
« Prev « First page 4294 / 4540 Last » Next »