1407 search results - page 142 / 282 » Using Use Cases in Executable Z |
118
click to vote
PROCEDIA
2010
15 years 2 months ago
2010
High-quality meshes are essential in the solution of partial differential equations (PDEs), which arise in numerous science and engineering applications, as the mesh quality aff...
175
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
The WS-BPEL specification focuses on business processes the activities of which are assumed to be interactions with Web services. However, WS-BPEL processes go beyond the orchestr...
156
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
170
click to vote
COCOA
2010
Springer
15 years 2 months ago
2010
Springer
In a network environments supporting mobile entities (called robots or agents), a black hole is harmful site that destroys any incoming entity without leaving any visible trace. Th...
148
click to vote
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, new highly scalable storage systems have significantly contributed to the success of Cloud Computing. Systems like Dynamo or Bigtable have underpinned their abil...