640 search results - page 29 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
ERLANG
2004
ACM
14 years 29 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
COR
2007
13 years 7 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...