5085 search results - page 402 / 1017 » Multidimensional Design by Examples |
201
click to vote
ENTCS
2006
15 years 7 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
228
click to vote
ENTCS
2006
15 years 7 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
180
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...
207
click to vote
JANCL
2006
15 years 7 months ago
2006
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
203
Voted
TIP
2008
15 years 7 months ago
2008
Abstract--A snakuscule (a minuscule snake) is the simplest active contour that we were able to design while keeping the quintessence of traditional snakes: an energy term governed ...