2210 search results - page 327 / 442 » Applying a Model-based Approach for Embedded System Developm... |
197
click to vote
FASE
2011
Springer
14 years 6 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
213
click to vote
SIGCSE
2010
ACM
15 years 9 months ago
2010
ACM
The “Hacker Curriculum” exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
124
click to vote
MC
2003
15 years 3 months ago
2003
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
118
click to vote
IEEECIT
2006
IEEE
15 years 8 months ago
2006
IEEE
Concurrently with fast development of location aware technologies, many applications have been developing to exploit location data for serving people. However, a main challenge in...
111
click to vote
BC
1998
15 years 2 months ago
1998
Abstract. We report on the nonlinear analysis of electroencephalogram (EEG) recordings in the rabbit visual cortex. Epileptic seizures were induced by local penicillin application ...