10707 search results - page 194 / 2142 » Designing executable abstractions |
118
Voted
JOT
2007
15 years 3 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...
149
Voted
ICSE
2007
IEEE-ACM
15 years 9 months 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...
126
Voted
IFL
2004
Springer
15 years 9 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...
140
Voted
COOPIS
2003
IEEE
15 years 9 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...
139
Voted
ECOOPW
1999
Springer
15 years 8 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...