10072 search results - page 38 / 2015 » Composition of Model Programs |
139
click to vote
SOCO
2009
Springer
15 years 8 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
132
Voted
SCP
2010
15 years 4 days ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
133
click to vote
AAAI
1994
15 years 3 months ago
1994
The ability to answer prediction questions is crucial to reasoning about physical systems. A prediction question poses a hypothetical scenario and asks for the resulting behavior ...
108
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
126
click to vote
TSE
2010
15 years 3 days ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...