3040 search results - page 332 / 608 » Synergetic Tool Environments |
178
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domainspecific languages. Unfortunately these DSLs typicall...
176
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
208
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we study the weighted sum rate maximization of multicell cellular cognitive radio networks (CRNs) which are overlaid with multicell primary radio networks (PRNs)...
170
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
222
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...