1538 search results - page 85 / 308 » Software design and engineering as a social process |
ASWEC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
WCRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
ICWE
2009
Springer
14 years 1 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
ARC
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. Current software implementations of network intrusion detection reach a maximum network connection speed of about 1Gbps (Gigabits per second). This paper analyses the Sno...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...