1541 search results - page 225 / 309 » Tools and Techniques for Model Checking Networked Programs |
146
click to vote
TAOSD
2010
14 years 11 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
132
Voted
TPDS
2002
15 years 7 days ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
113
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
135
Voted
SAC
2008
ACM
15 years 2 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
KDD
2005
ACM
16 years 1 months ago
2005
ACM
Computer architects utilize simulation tools to evaluate the merits of a new design feature. The time needed to adequately evaluate the tradeoffs associated with adding any new fe...