10159 search results - page 1978 / 2032 » System Design Validation Using Formal Models |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
In order to implement real-time adaptive augmented cognition, one of the focal points of our present research involves understanding the dimensions of task complexity. Task comple...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
COMPSAC
2002
IEEE
14 years 29 days ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
DIGITALCITIES
2000
Springer
14 years 10 days ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...
ATAL
2007
Springer
14 years 1 hour ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...