564 search results - page 43 / 113 » Do interactive systems need specifications |
142
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
A widely used defense practice against malicious traffic on the Internet is to maintain blacklists, i.e., lists of prolific attack sources that have generated malicious activity in...
108
click to vote
SIGSOFT
2002
ACM
16 years 4 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
108
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
102
click to vote
C5
2009
IEEE
15 years 9 months ago
2009
IEEE
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
118
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Researchers in systems biology use network visualization to summarize the results of their analysis. Such networks often include unconnected components, which popular ...