5473 search results - page 1002 / 1095 » On the graph isomorphism problem |
131
Voted
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
APPROX
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
120
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
117
Voted
BROADNETS
2006
IEEE
15 years 4 months ago
2006
IEEE
Traffic grooming continues to be a rich area of research in the context of WDM optical networks. We provide an overview of the optical and electronic grooming techniques available...
90
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...