412 search results - page 58 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
ISCA
2003
IEEE
14 years 3 months ago
2003
IEEE
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
SIGMOD
1999
ACM
14 years 2 months ago
1999
ACM
Cluster analysis is a primary method for database mining. It is either used as a stand-alone tool to get insight into the distribution of a data set, e.g. to focus further analysi...
IV
2007
IEEE
14 years 4 months ago
2007
IEEE
Geovisualization (GeoViz) is an intrinsically complex process. The analyst needs to look at data from various perspectives and at various scales, from “seeing the whole” to ...
JDCTA
2010
13 years 5 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
AOSD
2008
ACM
14 years 20 days ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...