1368 search results - page 152 / 274 » Personality-Based Practical Reasoning |
130
click to vote
WSC
2008
15 years 5 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...
136
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
115
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
We analyze the main motivations that lead to the present need for supporting continuous software evolution, and discuss some of the reasons for change requirements. Achieving softw...
119
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
135
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...