Sciweavers

7380 search results - page 852 / 1476
» Engineering Software Intensive Systems
Sort
View
ICFEM
1997
Springer
15 years 11 months ago
Development and Application of a Formal Agent Framework
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...
Mark d'Inverno, Michael Luck
UIST
1994
ACM
15 years 11 months ago
Evolutionary Learning of Graph Layout Constraints from Examples
We propose a new evolutionary method of extracting user preferences from examples shown to an automatic graph layout system. Using stochastic methods such as simulated annealing a...
Toshiyuki Masui
ISSTA
2004
ACM
16 years 16 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner
ICESS
2005
Springer
16 years 19 days ago
CDP: Component Development Platform for Communication Protocols
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei...
IVA
2005
Springer
16 years 18 days ago
Training Agents: An Architecture for Reusability
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. These systems involve very different...
Gonzalo Méndez, Angélica de Antonio