8627 search results - page 378 / 1726 » Software Engineering Using RATionale |
148
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
150
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
Reducing power consumption is critical in many system designs. Dynamic power management is an effective approach to decrease power without significantly degrading performance. Pow...
169
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
183
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
Current software suites suffer from problems due to poor integration of their individual tools. They require the designer to think of all possible integrating behaviours and leave...
183
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...