1522 search results - page 45 / 305 » Practical Exception Specifications |
115
click to vote
JCP
2008
15 years 1 months ago
2008
High-speed downlink packet access (HSDPA) has been developed to upgrade the current WCDMA system in yerms of providing a higher data rate for mobile users. To ensure a downlink spe...
IJBIDM
2010
15 years 2 days ago
2010
: In this paper, we present algorithms for subgroup detection and demonstrated them with a real-time case study of USS Cole bombing terrorist network. The algorithms are demonstrat...
CONTEXT
2005
Springer
15 years 7 months ago
2005
Springer
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
116
Voted
CAV
2006
Springer
15 years 5 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
130
click to vote
ICTAC
2009
Springer
14 years 11 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...