1005 search results - page 192 / 201 » Formal Software Development in MAYA |
104
click to vote
CADE
2005
Springer
16 years 4 hour ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
106
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
101
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
100
click to vote
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
— Development in new radio technologies and increase in user demands are driving the deployment of a wide array of wireless networks, ranging from 802.11 networks in the local ar...