3799 search results - page 155 / 760 » An Engineering Approach to Formal Methods |
COMCOM
2004
13 years 9 months ago
2004
Various traffic engineering techniques are used to control the flow of IP packets inside large ISP networks. However, few techniques have been proposed to control the flow of pack...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
TSE
2010
13 years 7 months ago
2010
BACKGROUND – the systematic review is becoming a more commonly employed research instrument in empirical software engineering. Before undue reliance is placed on the outcomes of...
SAC
2000
ACM
14 years 1 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....