2409 search results - page 275 / 482 » Logical systems for structured specifications |
139
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
172
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
An automated design synthesis system based on a multi-objective genetic algorithm (MOGA) has been developed for the optimization of surface-micromachined MEMS devices. A hierarchi...
137
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
126
click to vote
CCE
2004
15 years 4 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
130
click to vote
CLEIEJ
2002
15 years 4 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...