Sciweavers

662 search results - page 87 / 133
» Using software evolution to focus architectural recovery
Sort
View
PPDP
2009
Springer
14 years 3 months ago
Future contracts
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
Christos Dimoulas, Riccardo Pucella, Matthias Fell...
SIGSOFT
1998
ACM
14 years 28 days ago
Reasoning about Implicit Invocation
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
David Garlan, Somesh Jha, David Notkin
COMPSAC
2002
IEEE
14 years 1 months ago
Framework for Goal Driven System Design
Architecture has been identified as a main tool for high quality system development. It encapsulates the earliest design decisions of the system under development. These decisions...
Juha Savolainen, Juha Kuusela
PERCOM
2006
ACM
14 years 2 months ago
Sensor Networks For Smart Roads
This paper proposes the use of a wireless sensor network of “cat’s eye” augmented with embedded processing, communication, and sensing capabilities to monitor vehicle behavi...
Marcin Karpinski, Aline Senart, Vinny Cahill
PERVASIVE
2005
Springer
14 years 2 months ago
Task Partitioning in Smart Environments
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
Markus Ritala, Jukka Vanhala