4476 search results - page 451 / 896 » Modeling software architectures in the Unified Modeling Lang... |
205
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
235
click to vote
APSEC
1996
IEEE
15 years 12 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
197
click to vote
ISORC
2008
IEEE
16 years 2 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
153
click to vote
IASTEDSEA
2004
15 years 9 months ago
2004
Short time-to-market is an important requirement for developing web-based systems. Software architecture plays a critical role for time-to-market objective to be satisfied since i...
265
Voted
JHSN
2006
15 years 7 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...