Sciweavers

2482 search results - page 180 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
119
Voted
ECOOP
2006
Springer
15 years 5 months ago
codeQuest:  Scalable Source Code Queries with Datalog
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
Elnar Hajiyev, Mathieu Verbaere, Oege de Moor
143
Voted
POPL
2012
ACM
13 years 9 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
103
Voted
WICSA
2008
15 years 3 months ago
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
João Pedro Sousa, Bradley R. Schmerl, Vahe ...
105
Voted
CD
2004
Springer
15 years 7 months ago
MagicBeans: a Platform for Deploying Plugin Components
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
Robert Chatley, Susan Eisenbach, Jeff Magee
131
Voted
IFIP
2004
Springer
15 years 7 months ago
A Logic for Auditing Accountability in Decentralized Systems
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...
Ricardo Corin, Sandro Etalle, J. I. den Hartog, Ga...