1407 search results - page 97 / 282 » Using Use Cases in Executable Z |
135
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
There has been a surge of interest in the delivery of personalized information to users (e.g. personalized stocks or travel information), particularly as mobile users with limited ...
117
click to vote
GEOINFO
2004
15 years 5 months ago
2004
: Nowadays, the database characteristics, such as the huge volume of data, the complexity of the queries, and even the data availability, can demand minutes or hours to process a q...
145
click to vote
WCE
2007
15 years 5 months ago
2007
—Partitioned global address space (PGAS) languages, such as Unified Parallel C (UPC) have the promise of being productive. Due to the shared address space view that they provide,...
167
click to vote
INFSOF
2010
15 years 1 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
130
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...