3765 search results - page 646 / 753 » Formal Methods for Systems Engineering Behavior Models |
134
Voted
CONEXT
2006
ACM
15 years 6 months ago
2006
ACM
The automatic detection of applications associated with network traffic is an essential step for network security and traffic engineering. Unfortunately, simple port-based classif...
146
Voted
KDD
2012
ACM
13 years 5 months ago
2012
ACM
Historical prices are important information that can help consumers decide whether the time is right to buy a product. They provide both a context to the users, and facilitate the...
137
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...
130
Voted
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
179
Voted
WSDM
2012
ACM
13 years 10 months ago
2012
ACM
This paper uncovers a new phenomenon in web search that we call domain bias — a user’s propensity to believe that a page is more relevant just because it comes from a particul...