1226 search results - page 157 / 246 » Proofs, Programs and Abstract Complexity |
155
Voted
ANSS
2007
IEEE
15 years 9 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
118
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
153
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
129
click to vote
CADUI
2004
15 years 4 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
124
Voted
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...