Sciweavers

4348 search results - page 541 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
GEM
2010
15 years 4 months ago
Elucidating Soldier and Worker Caste Divisions in an Animat Artificial Life Model
Complex systems such as termite colonies have a macroscopically rich set of emergent behaviours that are thought to emerge solely from microscopic and simple individual agent beha...
Chris Scogings, Kenneth A. Hawick
LCTRTS
2001
Springer
15 years 11 months ago
Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
Darrell Brunsch, Carlos O'Ryan, Douglas C. Schmidt
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
16 years 6 days ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
ICTAI
2003
IEEE
15 years 12 months ago
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
Naveed Arshad, Dennis Heimbigner, Alexander L. Wol...
ICPR
2004
IEEE
16 years 7 months ago
Selecting Models from Videos for Appearance-Based Face Recognition
In this paper, we propose an unsupervised approach to select representative face samples (models) from raw videos and build an appearance-based face recognition system. The approa...
Abdenour Hadid, Matti Pietikäinen