809 search results - page 110 / 162 » Requirements by Contracts allow Automated System Testing |
CAISE
1997
Springer
15 years 4 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
132
click to vote
HIM
1997
Springer
15 years 4 months ago
1997
Springer
The growing popularity of hypertext navigation systems and the availability of large documentary databases is leading to the design of navigation systems that allow to explore the...
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...
SIGCOMM
2006
ACM
15 years 5 months ago
2006
ACM
Ptacek and Newsham [14] showed how to evade signature detection at Intrusion Prevention Systems (IPS) using TCP and IP Fragmentation. These attacks are implemented in tools like F...
153
click to vote
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...