Sciweavers

3706 search results - page 251 / 742
» System Description: E-KRHyper
Sort
View
SOFSEM
2004
Springer
16 years 6 hour ago
Flexibility through Multiagent Systems: Solution or Illusion?
Multiagent software systems are known to exhibit a system-level behavior that rarely can be predicted from the description of individual agents but must be observed in simulation o...
Peter C. Lockemann, Jens Nimis
ATAL
2003
Springer
15 years 12 months ago
Modelling secure multiagent systems
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
Haralambos Mouratidis, Paolo Giorgini, Gordon A. M...
ISORC
1998
IEEE
15 years 11 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
DAGSTUHL
2006
15 years 8 months ago
MathBrush: An Experimental Pen-Based Math System
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
George Labahn, Scott MacLean, Mirette S. Marzouk, ...
IJCAI
1989
15 years 7 months ago
A Knowledge-Based Software Information System
The difficulty of maintaining very large software systems is becoming more widely acknowledged. One of the primary problems is the need to access information about a complex and e...
Premkumar T. Devanbu, Peter G. Selfridge, Bruce W....