1516 search results - page 232 / 304 » Trends in Software Verification |
APCSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
CIA
2000
Springer
15 years 1 months ago
2000
Springer
In the near future, billions of entities will be connected to each other through the Internet. The current trend is that an increasingly number of entities, from smart personal dev...
PRICAI
2000
Springer
15 years 1 months ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...
SIGUCCS
2000
ACM
15 years 1 months ago
2000
ACM
Knowledge Management is a necessary and integral part of an effective and successful support organization, yet it is also a buzzword that is perhaps over-hyped and over-used. How ...
WSC
2007
15 years 4 days ago
2007
A Monte Carlo methodology is proposed for simulating air traffic blockage patterns under the impact of convective weather. The simulation utilizes probabilistic convective weather...