3828 search results - page 189 / 766 » Proof-Based System Engineering Using a Virtual System Model |
191
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
165
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
176
click to vote
ICDE
2008
IEEE
16 years 26 days ago
2008
IEEE
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
178
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
173
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...