Sciweavers

5075 search results - page 260 / 1015
» Model-based interface development
Sort
View
JCST
2008
109views more  JCST 2008»
15 years 4 months ago
WWW Business Applications Based on the Cellular Model
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
EICS
2009
ACM
15 years 8 months ago
StateStream: a developer-centric approach towards unifying interaction models and architecture
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
Gerwin de Haan, Frits H. Post
WETICE
2005
IEEE
15 years 9 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 5 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
SCSC
2007
15 years 5 months ago
A graphical variant approach to object-oriented modeling of dynamic systems
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
Paul Kinnucan, Pieter J. Mosterman