211 search results - page 21 / 43 » A Formal Architectural Design Patterns-Based Approach to Sof... |
VLSID
2003
IEEE
16 years 1 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
QUATIC
2007
IEEE
15 years 6 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
CSMR
2004
IEEE
15 years 3 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
HCI
2007
15 years 1 months ago
2007
Information Architecture (IA) has emerged as a discipline that is concerned with the development of systematic approaches to the presentation and organization of online information...
HRI
2007
ACM
15 years 3 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...