Sciweavers

2373 search results - page 216 / 475
» Modelling Facial Behaviours
Sort
View
154
Voted
HOLOMAS
2003
Springer
15 years 11 months ago
Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
Klaus Fischer, Michael Schillo, Jörg H. Siekm...
ISORC
1999
IEEE
15 years 10 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
ISORC
1999
IEEE
15 years 10 months ago
Exception Handling in a Cooperative Object-Oriented Approach
ation Oriented Action (CO action) is a modelling abstraction for representing collaborative behaviour between objects at different phases of the software development. In this pape...
Rogério de Lemos, Alexander B. Romanovsky
FDL
2004
IEEE
15 years 10 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 9 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider