15253 search results - page 2578 / 3051 » Integer-Programming Software Systems |
186
click to vote
RSP
2006
IEEE
16 years 9 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
150
click to vote
SRDS
2006
IEEE
16 years 9 days ago
2006
IEEE
The web is a complicated graph, with millions of websites interlinked together. In this paper, we propose to use this web sitegraph structure to mitigate flooding attacks on a we...
194
click to vote
ACMSE
2006
ACM
16 years 8 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
153
click to vote
CASES
2006
ACM
16 years 8 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
159
click to vote
CASES
2006
ACM
16 years 8 days ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...