Search Sciweavers | Sciweavers

5961 search results - page 27 / 1193

» Design Science and Software Engineering

click to vote

FM
2006
Springer

172views Formal Methods» more FM 2006»

The Embedded Systems Design Challenge

14 years 10 days ago

Download mtc.epfl.ch

We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...

Thomas A. Henzinger, Joseph Sifakis

claim paper

Read More »

click to vote

ACSC
2005
IEEE

107views Theoretical Computer Science» more ACSC 2005»

Modelling and Measuring Collaborative Software Engineering

14 years 2 months ago

Download www.cosc.canterbury.ac.nz

Collaborative Software Engineering (CSE) supports the ﬁne-grained real-time development of software by teams of developers located anywhere on the Internet. In this paper we des...

Carl Cook, Neville Churcher

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

131views Software Engineering» more FSTTCS 2009»

Deterministic Automata and Extensions of Weak MSO

14 years 3 months ago

Download www.mimuw.edu.pl

Mikolaj Bojanczyk, Szymon Torunczyk

claim paper

Read More »