577 search results - page 35 / 116 » Relating Software Requirements and Architectures Using Probl... |
CASES
2007
ACM
14 years 21 days ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
CL
2008
Springer
13 years 8 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
WOA
2000
13 years 10 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...
CAV
2001
Springer
14 years 11 days ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...