4836 search results - page 675 / 968 » Exploring the Similarity Space |
188
click to vote
PERVASIVE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Emerging pervasive computing technologies present many opportunities to aid ad-hoc collocated group collaboration. To better understand ad-hoc collaboration using pervasi...
211
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
197
Voted
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
195
Voted
CODES
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
183
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Social networking sites, such as MySpace, Facebook and Flickr, are gaining more and more popularity among Internet users. As users are enjoying this new style of networking, pri...