Sciweavers

359 search results - page 44 / 72
» A Formal Model of the Process of Wayfinding in Built Environ...
Sort
View
APSEC
2007
IEEE
14 years 1 months ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
Ke Jiang, Lei Zhang, Shigeru Miyake
SUTC
2006
IEEE
14 years 1 months ago
Design and Implementation of Ubiquitous Smart Cameras
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
Chang Hong Lin, Wayne Wolf, Andrew Dixon, Xenofon ...
SAC
2010
ACM
14 years 2 months ago
A deidealisation semantics for KAOS
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
Richard Banach
CGVR
2006
13 years 9 months ago
Evolutionary Design of Virtual Plants
- This paper presents a technique of evolutionary design for plants in virtual worlds, inspired from Richard Dawkins' adaptive walks within the space of biomorph structures. T...
Stefan Bornhofen, Claude Lattaud
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 4 hour ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen