4890 search results - page 872 / 978 » From system specifications to component behavioral models |
ICAIL
2009
ACM
14 years 3 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
WINE
2007
Springer
14 years 3 months ago
2007
Springer
Motivated by the growth of various networked systems as potential market places, we study market models wherein, owing to the size of the markets, transactions take place between l...
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Over the last year Peer-to-Peer (p2p) implementations have evolved from experimental to sophisticated systems. Mobile agents have a long e-Commerce history dating back to the midd...