Sciweavers

4266 search results - page 447 / 854
» The container loading problem
Sort
View
142
Voted
DLT
2008
15 years 7 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
EUSFLAT
2007
147views Fuzzy Logic» more  EUSFLAT 2007»
15 years 7 months ago
Various Representations and Algebraic Structure of Linear Imprecision Indices
The paper is devoted to the investigation of imprecision indices, introduced in [7]. They are used for evaluation of uncertainty (or more exactly imprecision), which is contained ...
Alexander E. Lepskiy, Andrey G. Bronevich
FORTE
2007
15 years 7 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
170
Voted
SPLC
2010
15 years 7 months ago
A Hybrid Approach to Feature-Oriented Programming in XVCL
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
Hongyu Zhang, Stan Jarzabek
HCI
2007
15 years 7 months ago
Development of Productivity Evaluation Method to Improve Office Environment
The authors have developed a performance test, CPTOP (Cognitive Performance Test of Productivity), which combines 11 basic task testss to evaluate intelligent abilities of office w...
Hiroshi Shimoda, Kyoko Ito, Yoko Hattori, Hirotake...