2205 search results - page 268 / 441 » Mutation Operators for Specifications |
110
click to vote
CERA
2004
15 years 3 months ago
2004
: Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in produ...
141
click to vote
CN
2007
15 years 3 months ago
2007
As traffic on the Internet continues to grow exponentially, there is a real need to solve scalability and traffic engineering simultaneously — specifically, without using over-p...
162
Voted
DEBU
2002
15 years 3 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...
154
click to vote
SIAMCOMP
2000
15 years 3 months ago
2000
In this paper we consider the complexity of several problems involving finite algebraic structures. Given finite algebras A and B, these problems ask the following. (1) Do A and B ...
145
click to vote
CAD
1999
Springer
15 years 3 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...