5128 search results - page 12 / 1026 » When Abstraction Fails |
FSTTCS
2004
Springer
14 years 23 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
EURONGI
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. This paper proposes an approximate methodology for solving Markov models that compete for limited resources and retry when access fails, like those arising in mobile cell...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— We present a silicon neuron that responds with a highfrequency burst of spikes (> 250Hz) when appropriately primed; otherwise it responds with lower frequency single...
IWANN
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. In this paper we analyse a serial (ripple carry) and a parallel (Kogge-Stone) adder when operating in subthreshold at 100nm and 70nm. These are targeted for ultra low pow...