10707 search results - page 194 / 2142 » Designing executable abstractions |
154
click to vote
JOT
2007
15 years 6 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
186
click to vote
ICSE
2007
IEEE-ACM
16 years 19 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
168
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
171
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
174
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...