563 search results - page 32 / 113 » A Typing Scheme for Behavioural Models |
IAT
2010
IEEE
13 years 6 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
ENTCS
2008
13 years 8 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
BMCBI
2008
13 years 8 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Keystroke typing characteristics is considered as one of the important biometric features that can be used to protect users against malicious attacks. In this paper we propose a s...
GLOBECOM
2007
IEEE
14 years 15 days ago
2007
IEEE
The paper proposes analytical models of two types of Multi-RED queues, WRED and RIO-C, serving as droppers in DiffServ networks. Both are scrutinized under two types of configurati...