Sciweavers

8492 search results - page 547 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ICSE
2005
IEEE-ACM
16 years 7 months ago
Fluent-based web animation: exploring goals for requirements validation
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. Th...
Robert Chatley, Sebastián Uchitel, Jeff Kra...
WWW
2005
ACM
16 years 7 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
HCI
2009
15 years 5 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
AAAI
2004
15 years 8 months ago
CAMEO: Modeling Human Activity in Formal Meeting Situations
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
Paul E. Rybski, Fernando De la Torre, Raju Patil, ...
CODES
2009
IEEE
15 years 11 months ago
Building heterogeneous reconfigurable systems with a hardware microkernel
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
Jason Agron, David L. Andrews