Sciweavers

1000 search results - page 102 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
DSVIS
2003
Springer
14 years 2 months ago
Functionally Modeled User Interfaces
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
Antony Courtney
JCNS
2000
64views more  JCNS 2000»
13 years 8 months ago
A Simple Mathematical Model of Second-Messenger Mediated Slow Excitatory
We have developed a novel and simple mathematical model of a slow excitatory postsynaptic potential ased on an abstraction of the processes of activation, inactivation, and summati...
P. P. Bertrand, E. A. Thomas, W. A. A. Kunze, J. C...
ICCCN
2007
IEEE
14 years 3 months ago
Evaluating Mobile Ad Hoc Networks: A Performance Index and Statistical Model
Abstract— This work is concerned with definining a performance index that can be used as an objective measure in the evaluation and comparison of ad hoc networking protocols. Sp...
Ikhlas Ajbar, Dmitri D. Perkins
STTT
2010
122views more  STTT 2010»
13 years 7 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
ECOOP
1995
Springer
14 years 12 days ago
Meta-level Programming with CodA
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
Jeff McAffer