4917 search results - page 428 / 984 » Software Engineering is Not Computer Science |
135
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
156
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
132
click to vote
IWSAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Self-adaptive systems must recon gure themselves, at runtime, to compensate for changing environments, objectives, and system capabilities. This paper discusses how the S...
143
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
156
Voted
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...