1407 search results - page 155 / 282 » Using Use Cases in Executable Z |
143
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
Business workflows implemented as BPEL processes play an important role for many business applications. BPEL is used to orchestrate a series of Web service calls. Which provider ...
129
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...
116
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
131
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Intuitively, aggressive work sharing among concurrent queries in a database system should always improve performance by eliminating redundant computation or data accesses. We show...
162
click to vote
ISSRE
2006
IEEE
15 years 10 months ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...