1713 search results - page 252 / 343 » Modeling and Engineering Adaptive Complex Systems |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...