1713 search results - page 252 / 343 » Modeling and Engineering Adaptive Complex Systems |
94
Voted
ICSE
2008
IEEE-ACM
16 years 1 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 ...
91
Voted
ICSE
2008
IEEE-ACM
16 years 25 days 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 ...
122
click to vote
VMCAI
2004
Springer
15 years 6 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...
107
Voted
ISORC
2009
IEEE
15 years 7 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...
127
Voted
HICSS
2002
IEEE
15 years 5 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 ...