3554 search results - page 554 / 711 » Estimating software based on use case points |
198
click to vote
EMSOFT
2009
Springer
16 years 29 days ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
148
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
192
click to vote
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
148
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
165
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...