Sciweavers

AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 6 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
AMCS
2011
304views Mathematics» more  AMCS 2011»
13 years 6 months ago
Engineering intelligent systems on the knowledge formalization continuum
Joachim Baumeister, Jochen Reutelshoefer, Frank Pu...
Mathematics
Top of PageReset Settings