5439 search results - page 787 / 1088 » Patterns: from system design to software testing |
167
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We designed and implemented an ontological solution which makes provisions for choosing adequate devices/sensors for remote monitoring of patients who are suffering from post-stro...
141
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
171
click to vote
ICWL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
161
click to vote
FOSSACS
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
161
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
The Internet has enabled a great amount of information to be readily available and easily accessible. It has promoted several changes in the world, including in the education area...