Sciweavers

1707 search results - page 62 / 342
» On the Design of Agent-Based Systems using UML and Extension...
Sort
View
JUCS
2002
131views more  JUCS 2002»
15 years 5 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk
COOTS
1997
15 years 7 months ago
MiSFIT: A Tool for Constructing Safe Extensible C++ Systems
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
Christopher Small
ICCSA
2005
Springer
15 years 11 months ago
IMNET: An Experimental Testbed for Extensible Multi-user Virtual Environment Systems
Abstract. Multi-user virtual environment (MUVE) systems enable virtual participation in many applications. A MUVE usually is a complex system requiring technologies from 3D graphic...
Tsai-Yen Li, Mao-Yung Liao, Pai-Cheng Tao
APCCM
2008
15 years 7 months ago
Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CCS
2003
ACM
15 years 11 months ago
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. ...