Sciweavers

4048 search results - page 464 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
JSS
2010
120views more  JSS 2010»
15 years 3 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
EFDBS
2001
15 years 6 months ago
Evolving Hybrid Distributed Databases: Architecture and Methodology
Abstract. This paper focuses on the interoperability of autonomous legacy databases with the idea of meeting the future requirements of an organization. It describes a general arch...
Philippe Thiran, Jean-Luc Hainaut
DSD
2010
IEEE
140views Hardware» more  DSD 2010»
15 years 5 months ago
RobuCheck: A Robustness Checker for Digital Circuits
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
Stefan Frehse, Görschwin Fey, André S&...
MIDDLEWARE
2004
Springer
15 years 10 months ago
Scooby: middleware for service composition in pervasive computing
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
Jon Robinson, Ian Wakeman, Tim Owen
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
15 years 11 months ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...