7202 search results - page 1248 / 1441 » Software System Engineering: A Tutorial |
189
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
236
click to vote
WCET
2010
15 years 4 months ago
2010
The assumption of task independence has long been consubstantial with the formulation of many schedulability analysis techniques. That assumption is evidently advantageous for the...
181
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
205
click to vote
SOCO
2010
Springer
15 years 1 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
238
click to vote
EUROSYS
2011
ACM
14 years 10 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...