2748 search results - page 452 / 550 » Generating Object-Z Specifications from Use Cases |
170
Voted
ECMDAFA
2009
Springer
15 years 10 months 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 ...
117
Voted
CEC
2007
IEEE
15 years 10 months 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,...
119
click to vote
BIRTHDAY
2007
Springer
15 years 9 months 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...
149
Voted
GECCO
2005
Springer
15 years 9 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...
144
click to vote
ESWS
2010
Springer
15 years 8 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...