846 search results - page 125 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
MST
2010
14 years 9 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...
78
Voted
ER
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
IFSA
2007
Springer
15 years 5 months ago
2007
Springer
Disruption on a supply chain provokes lost that should be minimized looking for alternative suppliers. This solution involves a strategy to manage the impact of the disruption and ...
103
click to vote
UML
2001
Springer
15 years 3 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
116
click to vote
ISPD
2012
ACM
13 years 6 months ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...