721 search results - page 76 / 145 » A Living System Must Have Noncomputable Models |
94
Voted
SOCA
2010
IEEE
14 years 11 months ago
2010
IEEE
Service-based IT infrastructures serve many different business processes on a shared infrastructure in parallel. The automated request execution on the interconnected software com...
119
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
102
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
109
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
134
click to vote
WSC
1997
15 years 1 months ago
1997
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...