1613 search results - page 199 / 323 » Model-Driven Constraint Engineering |
154
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
157
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Par...
183
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring transit traffic at one or more points in a network is of interest to network operators for reasons of traffic accounting, debugging or troubleshooting, forensics, and tr...
180
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
E-businesses are increasingly facing the need of porting the provision of their e-services to mobile customers. Evolving requirements, such as reliability, security, scalability, ...
222
click to vote
SCESM
2006
ACM
16 years 7 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....