1299 search results - page 84 / 260 » On the Correctness of Operating System Kernels |
138
click to vote
IWPSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software evolution research has recently focused on new development paradigms, studying whether laws found in more classic development environments also apply. Previous works have...
105
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
116
click to vote
DEXAW
1997
IEEE
15 years 8 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
127
click to vote
CIRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—The vast majority of Autonomous Ground Vehicles in development today operate with GPS based navigation systems. While the accuracy of GPS systems has improved greatly over the p...
138
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— Though modern operating systems have a capable of controlling the power consumption using the DVFS (Dynamic Voltage and Frequency Scaling) mechanism, it is controlled for some ...