3706 search results - page 563 / 742 » The Transformational Approach to Program Development |
133
click to vote
MEMOCODE
2010
IEEE
15 years 12 days ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
119
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
127
Voted
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
130
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
155
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...