Sciweavers

5054 search results - page 641 / 1011
» How designers design and program interactive behaviors
Sort
View
AOSD
2006
ACM
16 years 25 days ago
Presenting crosscutting structure with active models
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
Wesley Coelho, Gail C. Murphy
CHI
2011
ACM
14 years 10 months ago
Identifying social capital in the facebook interface
A number of studies have identified a robust relationship between the use of social network sites, particularly Facebook, and positive outcomes such as social capital. Social netw...
Christian Yoder, Fred Stutzman
WWW
2008
ACM
16 years 7 months ago
Making BPEL flexible: adapting in the context of coordination constraints using WS-BPEL
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
Yunzhou Wu, Prashant Doshi
FASE
2009
Springer
16 years 1 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 1 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...