1179 search results - page 104 / 236 » Should Superclasses be Abstract |
133
Voted
IFM
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
168
click to vote
OOPSLA
2010
Springer
15 years 21 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
109
Voted
EJC
2009
15 years 18 days ago
2009
The starting point of this paper is the external surface of a word form, for example the agent-external acoustic perturbations constituting a language sign in speech or the dots o...
125
Voted
GI
2009
Springer
15 years 17 days ago
2009
Springer
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...
98
Voted
TITS
2010
14 years 9 months ago
2010
Abstract--The concept of enhanced maps (Emaps) was introduced with one main objective: It should characterize roads, first, with more completeness and, second, with more accuracy t...