19587 search results - page 3560 / 3918 » Systems Engineering for software Engineers |
145
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
We present a novel method of extracting topological and metric geographical data using only positional data sensed from personnel movements. We extend research from the field of r...
170
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
170
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Users are being tracked on the Internet more than ever before as Web sites and search engines gather pieces of information sufficient to identify and study their behavior. While m...
156
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
144
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...