2748 search results - page 452 / 550 » Generating Object-Z Specifications from Use Cases |
206
click to vote
ECMDAFA
2009
Springer
16 years 23 days ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
152
click to vote
CEC
2007
IEEE
16 years 17 days ago
2007
IEEE
—This paper describes an evolutionary music composition system that combines trainable music critics with a bag of notes constraint. Unlike many evolutionary composition systems,...
151
click to vote
BIRTHDAY
2007
Springer
16 years 12 days ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
178
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We describe the Enhanced Evolutionary Tabu Search (EE-TS) local search technique. The EE-TS metaheuristic technique combines Reactive Tabu Search with evolutionary computing eleme...
191
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Recently, the publishing of structured, semantic information as linked data has gained quite some momentum. For ordinary users on the Internet, however, this information is not yet...