399 search results - page 29 / 80 » aim 2000 |
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
ECAIW
2000
Springer
13 years 11 months ago
2000
Springer
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
EDO
2000
Springer
13 years 11 months ago
2000
Springer
Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advance...
EDO
2000
Springer
13 years 11 months ago
2000
Springer
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
ER
2000
Springer
13 years 11 months ago
2000
Springer
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...