Sciweavers

929 search results - page 38 / 186
» New Applications for Wikis in Software Engineering
Sort
View
ICSE
2009
IEEE-ACM
15 years 10 months ago
Static ownership inference for reasoning against concurrency errors
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
Ana Milanova, Yin Liu
EUROSYS
2011
ACM
14 years 6 months ago
ZZ and the art of practical BFT execution
The high replication cost of Byzantine fault-tolerance (BFT) methods has been a major barrier to their widespread adoption in commercial distributed applications. We present ZZ, a...
Timothy Wood, Rahul Singh, Arun Venkataramani, Pra...
ICSM
2000
IEEE
15 years 7 months ago
A Deployment System for Pervasive Computing
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
Jesper Andersson
CBSE
2010
Springer
15 years 8 months ago
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
Abstract. Many component models and frameworks have been proabstract and capture concerns from Real-Time and Embedded application domains, based on high-level component-based appro...
Frédéric Loiret, Lionel Seinturier, ...
ICSE
2009
IEEE-ACM
15 years 1 months ago
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)
Architectural knowledge has been recognized by the software architecture community as a self-contained research area in software architecture, and brought along some promising res...
Patricia Lago, Paris Avgeriou, Philippe Kruchten