3925 search results - page 557 / 785 » Measuring software evolution |
177
click to vote
RTSS
2008
IEEE
16 years 26 days ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
150
click to vote
AI
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
137
click to vote
INFOCOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— It has been observed that different IEEE 802.11 commercial cards produced by different vendors experience different performance, either when accessing alone the channel, as wel...
155
click to vote
FOSSACS
2007
Springer
16 years 20 days ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...
152
click to vote
IPSN
2007
Springer
16 years 19 days ago
2007
Springer
We present SPOT, a scalable power observation tool that enables in situ measurement of nodal power and energy over a dynamic range exceeding four decades or a temporal resolution ...