298 search results - page 28 / 60 » UPPAAL - Now, Next, and Future |
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
It is widely agreed that mobile agents in conjunction with WWW technology will provide the technical foundation for future electronic commerce. A prerequisite for the use of mobile...
VL
1992
IEEE
13 years 11 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper reflects different understanding and positions on future trends of GRID-oriented technologies, applications, and networks, as perceived by representatives from industry...
ASWEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
AAAI
2008
13 years 9 months ago
2008
Proactive assessment of computer-network vulnerability to unknown future attacks is an important but unsolved computer security problem where AI techniques have significant impact...