8627 search results - page 1423 / 1726 » Software Engineering Using RATionale |
179
click to vote
ISSRE
2003
IEEE
16 years 16 hour ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
191
click to vote
KCAP
2005
ACM
16 years 9 days ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
178
click to vote
DFN
2003
15 years 8 months ago
2003
: Blocking of foreign Web content by Internet access providers has been a hot topic for the last 18 months in Germany. Since fall 2001 the state of North-RhineWestphalia very activ...
145
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
156
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Many overload control mechanisms for Web based applications aim to prevent overload by setting limits on factors such as admitted load, number of server threads, buffer size. For ...