22698 search results - page 4322 / 4540 » Modeling in Software Engineering |
140
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
136
click to vote
WORM
2004
15 years 5 months ago
2004
A major challenge when attempting to analyze and model large-scale Internet phenomena such as the dynamics of global worm propagation is finding ate abstractions that allow us to ...
149
click to vote
ISMB
1998
15 years 5 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
116
click to vote
WSC
1998
15 years 5 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
122
click to vote
BIOINFORMATICS
2007
15 years 3 months ago
2007
Motivation: Genome maps are fundamental to the study of an organism and essential in the process of genome sequencing which in turn provides the ultimate map of the genome. The in...