9006 search results - page 1354 / 1802 » Modeling Software |
143
click to vote
HICSS
2008
IEEE
16 years 27 days ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
163
Voted
KBSE
2008
IEEE
16 years 25 days 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...
175
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
153
click to vote
APSEC
2007
IEEE
16 years 24 days ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
166
Voted
ASAP
2007
IEEE
16 years 24 days ago
2007
IEEE
Entropy encoding and decoding is a crucial part of any multimedia system that can be highly demanding in terms of computing power. Hardware implementation of typical compression a...