1812 search results - page 157 / 363 » Dynamic Updating of Software Systems Based on Aspects |
226
click to vote
WSC
2000
15 years 7 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
186
click to vote
ILC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
203
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
159
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
162
click to vote
IJCNN
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...