Sciweavers

4488 search results - page 649 / 898
» Properties of NP-Complete Sets
Sort
View
EUSAI
2007
Springer
16 years 6 days ago
Situated Public News and Reminder Displays
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...
Jörg Müller, Oliver Paczkowski, Antonio ...
136
Voted
FMCO
2007
Springer
103views Formal Methods» more  FMCO 2007»
16 years 6 days ago
Safety Guarantees from Explicit Resource Management
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
David Aspinall, Patrick Maier, Ian Stark
FSEN
2007
Springer
16 years 6 days ago
Regulating Data Exchange in Service Oriented Applications
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
GCC
2007
Springer
16 years 6 days ago
Adapting to Application Workflow in Processing Data Integration Queries
Data integration has evolved to provide efficient data management across distributed and heterogeneous data sources in grid environment. However, existing works in data integratio...
Yongwei Wu, Jia Liu, Gang Chen, Guangwen Yang, Bo ...
GECCO
2007
Springer
156views Optimization» more  GECCO 2007»
16 years 6 days ago
Techniques for highly multiobjective optimisation: some nondominated points are better than others
The research area of evolutionary multiobjective optimization (EMO) is reaching better understandings of the properties and capabilities of EMO algorithms, and accumulating much e...
David W. Corne, Joshua D. Knowles