Sciweavers

1583 search results - page 103 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
PRIMA
2001
Springer
14 years 18 days 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
ICHIM
1997
118views more  ICHIM 1997»
13 years 9 months ago
Location Aware Mobile Interactive Guides: Usability Issues
This paper discusses the issues related to the application of wireless communication and positioning technologies to the development of hand-held electronic tour guides. These iss...
Jonathan Broadbent, Patrizia Marti
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 1 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
IJISMD
2010
164views more  IJISMD 2010»
13 years 5 months ago
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
Mira Balaban, Azzam Maraee, Arnon Sturm
EPIA
2003
Springer
14 years 1 months ago
Using CLIPS to Detect Network Intrusions
We describe how to build a network intrusion detection sensor by slightly modifying NASA’s CLIPS source code introducing some new features. An overview of the system is presente...
Pedro Alípio, Paulo Carvalho, José N...