Sciweavers

3719 search results - page 497 / 744
» Pellet System Description
Sort
View
PRIMA
2001
Springer
15 years 11 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
MOBICOM
1999
ACM
15 years 11 months ago
Using Code Mobility to Create Ubiquitous and Active Augmented Reality in Mobile Computing
The concept augmented reality is used to describe a system that supplements reality by adding virtual objects into a real-world view. This paper describes a flexible mobile code a...
Kari Kangas, Juha Röning
SIGSOFT
1998
ACM
15 years 11 months ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin
EUROMICRO
1996
IEEE
15 years 11 months ago
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S...
GIS
1992
ACM
15 years 10 months ago
Machine Induction of Geospatial Knowledge
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
Peter A. Whigham, Robert I. McKay, J. R. Davis