Sciweavers

2314 search results - page 69 / 463
» What's in a model
Sort
View
IIE
2007
125views more  IIE 2007»
13 years 7 months ago
Should LOGO Keep Going FORWARD 1?
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
Ken Kahn
ESORICS
2006
Springer
13 years 11 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
ICCS
2003
Springer
14 years 28 days ago
A Compiler Approach to Performance Prediction Using Empirical-Based Modeling
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
Pedro C. Diniz
FORTE
1997
13 years 9 months ago
A Hierarchy of Communication Models for Message Sequence Charts
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
André Engels, Sjouke Mauw, Michel A. Renier...
CASCON
1993
114views Education» more  CASCON 1993»
13 years 9 months ago
A transaction manager component for cooperative transaction models
The database community has produced extensive research on the concurrency control problem in the context of traditional databases. However, this traditional model is not suitable ...
George T. Heineman