4067 search results - page 679 / 814 » Programs for Applying Symmetries |
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
CEC
2007
IEEE
13 years 11 months ago
2007
IEEE
— As there are many good optimization algorithms each with its own characteristics, it is very difficult to choose the best method for optimization problems. Thus, it is importa...
CONEXT
2008
ACM
13 years 11 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
CSCW
2008
ACM
13 years 11 months ago
2008
ACM
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
ECMDAFA
2008
Springer
13 years 11 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...