682 search results - page 69 / 137 » Philosophical Issues in Computer Science |
158
Voted
UIC
2010
Springer
15 years 1 months ago
2010
Springer
Interdisciplinary research from the domains of pervasive computing or ubiquitous computing, computer-human-interaction and computer science has led to the development of many intel...
166
Voted
DLT
2009
15 years 18 days ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
229
Voted
TDSC
2011
14 years 9 months ago
2011
—In this paper, we study leader election in the presence of selfish nodes for intrusion detection in mobile ad hoc networks (MANETs). To balance the resource consumption among a...
151
click to vote
VMCAI
2010
Springer
16 years 1 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
113
click to vote
SOFSEM
2010
Springer
15 years 11 months ago
2010
Springer
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...