4418 search results - page 354 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
205
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
184
click to vote
PC
2010
15 years 1 months ago
2010
We study the forward and backward substitution phases of a sparse multifrontal factorization. These phases are often neglected in papers on sparse direct factorization but, in man...
158
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
168
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Multimedia servers are increasingly employing parallel systems for the retrieval, scheduling and delivery of streaming multimedia content. However, given non-zero blockin...
192
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Any computational approach to design, including the use of evolutionary algorithms, requires the transformation of the domain-specific knowledge into a formal design representatio...