1091 search results - page 160 / 219 » The State of Cognitive Systems Engineering |
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
IMR
2005
Springer
14 years 2 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
ASWEC
2009
IEEE
14 years 2 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...