1527 search results - page 213 / 306 » From Requirements to Design: Formalizing the Key Steps |
SPATIALCOGNITION
2000
Springer
14 years 20 days ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...
DATAMINE
2006
13 years 9 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
A data–intensive Web application is a Web-enabled software system for the publication and management of large data collections, typically stored in one or more database manageme...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...