7557 search results - page 443 / 1512 » Modeling Timed Concurrent Systems |
189
click to vote
ICSM
2006
IEEE
16 years 26 days ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
172
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper tackles the problem of defining an appropriate access control model for multi-user systems providing adaptive resource reservations to unprivileged users. Security req...
134
click to vote
WSC
2004
15 years 8 months ago
2004
In order to maintain an edge during this time of unprecedented technological growth, the Army must field Infantry soldier systems quickly; however, the cost of doing so without so...
243
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
185
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...