697 search results - page 15 / 140 » Diet: New Developments and Recent Results |
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
AICT
2006
IEEE
15 years 4 months ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
101
click to vote
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
Ambient Intelligence has acquired great importance in recent years and requires the development of new innovative solutions. This paper presents a novel architecture which integrat...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...